Theorem CategoryTheory.Functor.mem_homologicalKernel_iff

Modification history

2025-07-23 11:06

Mathlib/CategoryTheory/Triangulated/HomologicalFunctor.lean

refactor(CategoryTheory): redefine triangulated subcategories using ObjectProperty (#25931)

Modified CategoryTheory.Functor.mem_homologicalKernel_iff View on Github →

2024-04-29 20:47

Mathlib/CategoryTheory/Triangulated/HomologicalFunctor.lean

feat(CategoryTheory/Triangulated): homological functors (#11759) …

Added CategoryTheory.Functor.mem_homologicalKernel_iff View on Github →