http://www.ms.uky.edu/~pjbo227/spectra-gradsemtalk.pdf stable homotopy categoryは次のような性質を持つ。 - 随伴\Sigma : T \to SHC : \Omegaを持つ - 三角圏でsuspensionが圏同値 - 加法圏、次数付き - 任意の積と余積を持つ - closed symm monoidal -…