Definition 1.3.25 (Pushout square). A commutative square of \(\infty \)-categories
is called a pushout square (or cocartesian) if, for every \(\infty \)-category \(E\), the induced square
is a pullback square.
Generated from the authoritative LaTeX source.