Definition 4.4.1. The \(\infty \)-category of spectra \(\Sp \) is defined as the stabilization of the \(\infty \)-category of animae, \[ \Sp \quad := \quad \Sp (\An ). \] Objects of \(\Sp \) are called spectra. Concretely, a spectrum is a sequence of pointed animae \(X_n\) equipped with isomorphisms \[ \sigma _n\colon X_n \iso \Omega (X_{n+1}). \]

Generated from the authoritative LaTeX source.