Definition:Enough Projectives

Definition

Let $\AA$ be an abelian category.

$\AA$ has enough projectives if and only if:

for all objects $X$ of $\AA$ there exists:

a projective object $P$

an epimorphism $P \to X$.

Also see

• Projective Resolution Exists iff Enough Projectives