http://www.ms.uky.edu/~pjbo227/spectra-gradsemtalk.pdf
stable homotopy categoryは次のような性質を持つ。
- 随伴\Sigma : T \to SHC : \Omegaを持つ
- 三角圏でsuspensionが圏同値
- 加法圏、次数付き
- 任意の積と余積を持つ
- closed symm monoidal
- 対象はコホモロジー理論を表現する
- spectrumは全てCW spectrumにweであり、SHCはhtpy cat of CW spectraに剣道ち。