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…