Saturated object with respect to anodyne morphisms
= Saturated object with respect to anodyne morphisms
An object $B$ is saturated with respect to anodyne morphisms when it is injective against all of them: every map $A'\to B$ extends across every anodyne morphism $A'\to A$.