ScalingStacks

Definition 4.3.1. For every $n\geq-2$, a morphism $f\colon X\to Y$ is called $\left(n-\frac{1}{2}\right)$-connected if the induced map $\tau_{\leq n}^{\mathcal{C}}\left(f\right)\colon\tau_{\leq n}^{\mathcal{C}}X\to\tau_{\leq n}^{\mathcal{C}}Y$ is an equivalence.