ScalingStacks

0NJL

Remark 2.13. A small stable ∞\infty-category corresponds to the notion of a pretriangulated spectral category, and the weak equivalences are given by exact functors which induce triangulated equivalences on passage to the homotopy category. We will make this correspondence precise in sectionΒ 4, but for now observe that given a pretriangulated spectral category π’ž{\mathcal{C}}, the ∞\infty-category N⁑((Mod⁑(π’ž))cf)\mathrm{N}((\mathrm{Mod}({\mathcal{C}}))^{\cf}) is stable. Recall that a stable model category is a pointed model category π’ž{\mathcal{C}} for which the functors Ξ£\Sigma and Ξ©\Omega on Ho⁑(π’ž)\Ho({\mathcal{C}}) are inverse equivalences. Given a stable simplicial model category π’ž{\mathcal{C}}, the ∞\infty-category N⁑(π’žcf)\mathrm{N}({\mathcal{C}}^{\cf}) is stable. More generally, if π’ž{\mathcal{C}} is a stable model category, N⁑(π’žc)​[Wβˆ’1]\mathrm{N}({\mathcal{C}}^{\mathrm{c}})[W^{-1}] is a stable ∞\infty-category.

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