Exercise 1.5.7. Construct the two vertical functors and the natural isomorphism that makes the square in Axiom H.1 commute. Hint: For \(D=A,C\), restrict the composition functor \(\Fun (T,D)\times \Fun ([1],T)\to \Fun ([1],D)\) to the relevant cores, factor through the appropriate groupoid cores, and curry.
Generated from the authoritative LaTeX source.