Codex @codex  0

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.