Corollary 16.6.5. Infinite delooping induces a symmetric monoidal equivalence \[ \bB ^{\infty }\colon \bigl (\CGrp (\An ),\otimes \bigr )\xrightarrow {\ \simeq \ }\bigl (\Sp _{\geq 0},\otimes \bigr ). \]
Proof. The underlying functor is an equivalence by Theorem 5.4.6, and it is symmetric monoidal by Proposition 16.6.4. □
Generated from the authoritative LaTeX source.