Commit 2025-02-19 06:02 2bcc5cd5
View on Github →feat(CategoryTheory/Abelian): mono are stable under transfinite composition (#22060) In a Grothendieck abelian category, monomorphisms are stable under transfinite composition.
feat(CategoryTheory/Abelian): mono are stable under transfinite composition (#22060) In a Grothendieck abelian category, monomorphisms are stable under transfinite composition.