Commit 2025-12-26 12:38 8a3425ed

feat(Algebra/Homology): the spectral object with values in the homotopy category (#33202) We define the precomposition of a spectral object (in a triangulated category) by an arbitrary functor. We also define the spectral object with values in the homotopy category that is indexed by the category of cochain complexes. It follows that to any functor ι ⥤ CochainComplex C ℤ (e.g. a filtered complex), there is an associated spectral object indexed by ι with values in the homotopy category of C.