ScalingStacks

Corollary 8.12. There is a natural weak equivalence $N({\operatorname{\mathbf{M}}}^{I})\xrightarrow{\sim}N^{f}({\operatorname{\mathbf{M}}})^{N(I)}$ of complete Segal spaces if ${\operatorname{\mathbf{M}}}={\operatorname{\mathcal{S}}}^{J}$ and $I$ and $J$ are small categories.