ScalingStacks

0NKV

Proof. Indeed, π’œβ†’Mβ€‹π’œ{{\mathcal{A}}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}M{{\mathcal{A}}} is essentially surjective if and only if Ξ©βˆžβ€‹π’œβ†’Ξ©βˆžβ€‹Mβ€‹π’œ\Omega^{\infty}{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\Omega^{\infty}M{\mathcal{A}} is essentially surjective, which is the case if and only if π’œ{\mathcal{A}} is already stable. ∎

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