Terminology 4.2.3. Let \(C\) be a stable \(\infty \)-category. We say that a commutative square

Commutative diagram generated from the LaTeX source

is an exact square if it is a pullback square, or equivalently a pushout square.

Generated from the authoritative LaTeX source.