Definition 1.3.13 (Pullback square). A commutative square
is called a pullback square if the induced functor \((s,t)\colon T \to C \times _{E} D\) is an equivalence.
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Definition 1.3.13
Definition 1.3.13 (Pullback square). A commutative square
is called a pullback square if the induced functor \((s,t)\colon T \to C \times _{E} D\) is an equivalence.
Generated from the authoritative LaTeX source.