Remark 17.2.9. Diagrammatically, the fact that the morphism displayed in the previous proposition is cocartesian boils down to finding unique dashed morphisms in the following commutative diagram:
The uniqueness of \(x' \to x''\) making the bottom diagram commute is a consequence of the factorization system, while the uniqueness of \(e' \to e''\) making the top square commute holds by cocartesianness of \(\hat {f}\).
Generated from the authoritative LaTeX source.