ScalingStacks

0NNA

Corollary 7.7. Let π’œ{\mathcal{A}} be a simplicial model category and π’žβŠ‚π’œ{\mathcal{C}}\subset{\mathcal{A}} a small full subcategory which has all finite homotopy colimits. Then for each nn there is a weak equivalence of simplicial sets

|wβˆ™β€‹Snβ€²β€‹π’ž|≃|(Snβˆžβ€‹N​((π’ž)cf))iso|.|w_{\bullet}S^{\prime}_{n}{\mathcal{C}}|\simeq|(S_{n}^{\infty}\mathrm{N}(({\mathcal{C}})^{\cf}))_{\mathrm{iso}}|.

and for each (n1,…,nq)(n_{1},\dotsc,n_{q}) there is a weak equivalence of simplicial sets

|wβˆ™β€‹Sn1,…,nqβ€²(q)β€‹π’ž|≃|((S∞)n1,…,nq(q)​N​((π’ž)cf))iso|.|w_{\bullet}S^{\prime(q)}_{n_{1},\dotsc,n_{q}}{\mathcal{C}}|\simeq|((S^{\infty})^{(q)}_{n_{1},\dotsc,n_{q}}\mathrm{N}(({\mathcal{C}})^{\cf}))_{\mathrm{iso}}|.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4