Homotopy Type Theory spectrum > history (Rev #5)

Definition

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

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

See also

cohomology
homology?
spectral sequences
synthetic homotopy theory?
prespectrum

References

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