Exercise 1.4.2. Unwind the definitions, and show that these five pushout conditions express that finite and infinite strings of composable morphisms, commutative squares, spans, and cospans are determined by the lower-dimensional data displayed above.
Generated from the authoritative LaTeX source.