https://faculty.math.illinois.edu/~cmalkiew/stable.pdf
昨日の計算。
\Sigma^\infty:HoTop* \to HoSpectraと\Simga^n:HoSpectra \to HoSpectraが交換するか？
3ページの図式によれば\Sigma\Sigma^\infty=\Sigma^\infty(\Gamma\Sigma)となる。
ここで\GammaはCW近似？
もともとCW複体だとこれは必要なさそうなので、上の交換はCW複体に対してはよさそう。
