Projective Object

Let $C$ be category. An object $P:C$ is projective if it has the left-lifting property against Epimorphisms.

Explicitly, for every $f:P\to B$, $e:A\twoheadrightarrow P$, there merely exists a lift $P\to A$ that makes the diagram commute.