instIsStableUnderTransfiniteCompositionMonomorphisms

English

The category is stable under transfinite composition for monomorphisms in the Grothendieck abelian setting.

Русский

Категория устойчива к трансфинитной композиции мономорфизмов в контексте абелевых категорий Гротенштейджа.

LaTeX

$$IsStableUnderTransfiniteComposition (monomorphisms C)$$

Lean4

instance {C : Type u} [Category.{v} C] [Abelian C] [IsGrothendieckAbelian.{w} C] :
    IsStableUnderTransfiniteComposition.{w} (monomorphisms C) := by infer_instance

Похожие утверждения