Exercise 1.2.15. Construct for every morphism \(f\colon x \to y\) commutative triangles in \(C\) of the form

Commutative diagram generated from the LaTeX source
Commutative diagram generated from the LaTeX source

Generated from the authoritative LaTeX source.