https://faculty.math.illinois.edu/~cmalkiew/stable.pdf
* \in CWのHoSpectraでの像はまずCW*に写って* + *=S^0になり、
\Sigma^\inftyS^0 = Sとなる。
これらがlax monoidalであること、*がcommutatibe monoidであることを使うと、Sがcommutative monoidであることがわかる。
HoSpectraはabel圏であり、これはcomm ring strである。
さらにこれのhomotopyもskew-commutative ringになる。
