Theorem CategoryTheory.MorphismProperty.isStableUnderColimitsOfShape_monomorphisms

Modification history

2025-05-13 14:46
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Colim.lean
chore(CategoryTheory): make MorphismProperty.IsStableUnderColimitsOfShape a class (#24773)
Deleted CategoryTheory.MorphismProperty.isStableUnderColimitsOfShape_monomorphismsView on Github →
2025-02-21 07:17
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Colim.lean
feat(CategoryTheory): monomorphisms are stable under coproducts in Grothendieck abelian categories (#22133)
Added CategoryTheory.MorphismProperty.isStableUnderColimitsOfShape_monomorphismsView on Github →