Definition 1.7.16. We say a commutative square in \(C\) of the form (1.1) is a pushout square if the corresponding cocone in \(C\) is a colimit cocone, in which case we have \(w \simeq y \sqcup _x z\). Dually, we say the square is a pullback square if the corresponding cone in \(C\) is a limit cone, in which case we have \(x \simeq y \times _w z\).
Generated from the authoritative LaTeX source.