ScalingStacks

Proposition 4.4.5. Let $\mathcal{P}$ be a reduced $\infty$-operad and let $\mathcal{C}$ be a presentably symmetric monoidal $\infty$-category. Given a morphism $f\colon A\to B$ in $\operatorname{Alg}_{\mathcal{P}}\left(\mathcal{C}\right)$, if the underlying map $U\left(f\right)$ is $n$-connected for some $n\geq-2$, then $f$ is $n$-connected.