Definition:Enough Injectives

Definition

Let $\AA$ be an abelian category.

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

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

an injective object $I$

a monomorphism $X \to I$.

Also see

• Injective Resolution Exists iff Enough Injectives