Newbetuts
.
New posts in spectra
Excision in the stable homotopy category
algebraic-topology
homology-cohomology
stable-homotopy-theory
spectra
Definition of a map of (pre)spectra in HoTT
homotopy-theory
homotopy-type-theory
spectra
Prev