Omega-spectrum (source code)

= Omega-spectrum
{c}
{title2=$E_j\simeq\Omega E_{j+1}$}

= Omega-spectra
{c}
{synonym}

An <Omega-spectrum> has structure adjoints $E_j\to\Omega E_{j+1}$ that are <weak homotopy equivalences>. For such a model the level spaces represent the degrees of its <represented cohomology theory>.