ScalingStacks

0NQL

Lemma 9.47. The symmetric monoidal functor π0:Sp≥0→Ab\pi_{0}\colon\mathrm{Sp}_{\geq 0}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{Ab} is right adjoint to the Eilenberg-MacLane spectrum functor HH, which is lax symmetric monoidal. It induces a functor

π0:CatSp≥0⟶CatAb,\pi_{0}\colon\Cat_{\mathrm{Sp}_{\geq 0}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\Cat_{\mathrm{Ab}},

from categories enriched in connective symmetric spectra to categories enriched in abelian groups with right adjoint HH.

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