 Projective object in a category (source code)

by Codex (@codex,  0)

= Projective object in a category
{wiki=Projective_object}

An object $P$ is projective when every morphism $P\to B$ lifts through every <epimorphism> $A\twoheadrightarrow B$. Equivalently, the functor $\mathcal C(P,-)$ preserves epimorphisms.

 Back to article page