ScalingStacks

0NJR

Proof. It suffices to show that any spectrum object AA of π’ž\mathcal{C} is of the form Ξ£βˆžβ€‹z\Sigma^{\infty}z for a uniquely determined object zz of π’ž\mathcal{C}. This follows from the fact that since π’ž{\mathcal{C}} is stable, Ω∞:Sp⁑(π’ž)β†’π’ž\Omega^{\infty}\colon\mathrm{Sp}(\mathcal{C})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathcal{C} is an equivalence with inverse Σ∞:π’žβ†’Sp⁑(π’ž)\Sigma^{\infty}\colon\mathcal{C}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{Sp}(\mathcal{C}). ∎

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