ScalingStacks

Theorem 8.11. The map $f$ of (8.10) is a Reedy weak equivalence when ${\operatorname{\mathbf{M}}}={\operatorname{\mathcal{S}}}^{{\operatorname{\mathbf{J}}}}$, where ${\operatorname{\mathcal{S}}}$ denotes the category of simplicial sets and ${\operatorname{\mathbf{J}}}$ is a small indexing category.