Cofiber of spectra 2026-10-14
The homotopy cofiber of spectra of is the derived pushout . It fits into a cofiber sequence of spectra.
Homotopy colimit of spectra 2026-10-14
A homotopy colimit of spectra is the derived colimit of a diagram of topological spectra. For a sequential diagram , it is the cofiber of spectra of , where uses the bonding maps into the next summands.