Homotopy Type Theory spectrum > history (Rev #6, changes)

Showing changes from revision #5 to #6: Added | Removed | Changed

Definition

< Omega-spectrum type

A spectrum (or Ω\Omega-spectrum) is a prespectrum EE in which each pointed map e ne_n is an equivalence.

Spectrum E:PreSpectrum n:IsEquiv(e n)\Spectrum \equiv \sum_{E : \PreSpectrum} \prod_{n : \mathbb{Z}} \IsEquiv (e_n)

See also

References

Revision on June 9, 2022 at 02:59:38 by Anonymous?. See the history of this page for a list of all contributions to it.