ScalingStacks

Example 4.4.3. For every $m$-topos (with $-1\leq m\leq\infty$) and $n\geq-2$, the class of $n$-connected morphisms is closed under Cartesian products. In particular, this applies to $\mathcal{S}_{\leq m}^{K}$ for every simplicial set $K$.