\begin{definition}[Definition:Enough Projectives]
Let $\AA$ be an abelian category.
$\AA$ has '''enough projectives''' {{iff}}:
:for all objects $X$ of $\AA$ there exists:
::a projective object $P$
::an epimorphism $P \to X$.
\end{definition}