http://www.ms.uky.edu/~pjbo227/spectra-gradsemtalk.pdf stable homotopy groupとは、 \pi_n^s(X) = \lim_N \pi_{n+N}(S^N \wedge X) のこと。 topological invarianとS^1 \wedge との関係について。空間レベルで、このような性質を持つ圏を構成したい。 s…