Exercise 1.4.22. Give a precise construction of the right vertical functor in the pullback defining \(\Iso (C)\). Hint: Project to the composable pairs \((f,g)\) and \((h,f)\), apply the composition functor to each pair, and then take their product.
Generated from the authoritative LaTeX source.