Projective object in a category
ID: projective-object-in-a-category
An object is projective when every morphism lifts through every epimorphism . Equivalently, the functor preserves epimorphisms.
New to topics? Read the docs here!
New to topics? Read the docs here!