Remark 17.2.5. The last argument in the previous proof may be pictured as finding unique dashed arrows in the following solid commutative diagram:
It is clear that two dashed maps \(y \to z\) have to be the given map \(y \to z\) at the bottom. The uniqueness of the remaining map \(e' \to e''\) is then a consequence of \(\hat {r}_e\) being \(p\)-cocartesian.
Generated from the authoritative LaTeX source.