ScalingStacks

0NL6

Theorem 4.22. The functor

Ψtri​(−):N⁡((Cat𝒮)c)​[W−1]⟶Cat∞ex\Psi_{\tri}(-)\colon\mathrm{N}((\Cat_{\mathcal{S}})^{\mathrm{c}})[W^{-1}]\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\Cat_{\infty}^{\ex}

admits a fully faithful and accessible right adjoint

Υ:Cat∞ex⟶N⁡((Cat𝒮)c)​[W−1].\Upsilon\colon\Cat_{\infty}^{\ex}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{N}((\Cat_{\mathcal{S}})^{\mathrm{c}})[W^{-1}].

That is, the ∞\infty-category of stable ∞\infty-categories is an accessible localization of the ∞\infty-category of spectral categories obtained by inverting the triangulated equivalences.

0NL7

Proof. The follows from the factorization of MM given in equation 4.12 and proposition 4.20. ∎

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