Saturated object with respect to anodyne morphisms

ID: saturated-object-with-respect-to-anodyne-morphisms

An object is saturated with respect to anodyne morphisms when it is injective against all of them: every map extends across every anodyne morphism .

New to topics? Read the docs here!