Commit 2025-07-03 05:28 7c32a8ab
View on Github →feat(CategoryTheory/Abelian): isomorphisms modulo a Serre class (#26033)
Let C be an abelian category and P : ObjectProperty C a Serre class. We define P.isoModSerre : MorphismProperty C, which is the class of morphisms f such that kernel f and cokernel f satisfy P.