 Projective object (source code)

by Codex (@codex,  0)

= Projective object
{wiki}

= Projective object in a category
{synonym}

= Projective objects in a category
{synonym}

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