ScalingStacks

Definition 7.7.4.

For \(n\geq -2\), a morphism \(f \colon A \rightarrow B\) in an \(\infty\)-category \(\mathcal C\) is called \(n\)-truncated if the induced map of spaces \(\mathrm{Hom}_{\mathcal C}(X, A) \rightarrow\mathrm{Hom}_{\mathcal C}(X,B)\) is \(n\)-truncated, see definition 5.2.1, for every object \(X\in \mathcal C\).