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

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

Definition

A spectrum (or $\Omega$-spectrum) is a prespectrum $E$ in which each pointed map $e_n$ is an equivalence.

See also

• cohomology
• homology?
• spectral sequences
• synthetic homotopy theory?
• prespectrum

References

• HoTT book
• On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory