Commit 2025-08-15 06:38 5c1c8190

feat(CategoryTheory): abstract argument for the stability under transfinite compositions (#26030) If a class of morphisms is multiplicative, respects isomorphisms and is stable under filtered colimits, then it is stable under transfinite compositions. (This simplifies the proof in the case of monomorphisms in Grothendieck abelian categories, for isomorphisms, and in #23282, we shall apply this to monomorphisms in Type.)