Def CategoryTheory.Triangulated.SpectralObject.mapTriangulatedFunctor

Modification history

2026-08-25 11:58
Mathlib/CategoryTheory/Triangulated/SpectralObject.lean
feat(CategoryTheory/Triangulated): applying a homological functor to a spectral object (#42936) …
Modified CategoryTheory.Triangulated.SpectralObject.mapTriangulatedFunctorView on Github →
2025-12-26 12:38
Mathlib/CategoryTheory/Triangulated/SpectralObject.lean
feat(Algebra/Homology): the spectral object with values in the homotopy category (#33202) …
Added CategoryTheory.Triangulated.SpectralObject.mapTriangulatedFunctorView on Github →