\begin{definition}[Definition:Enough Injectives]
Let $\AA$ be an abelian category.
$\AA$ has '''enough injectives''' {{iff}}:
:for all objects $X$ of $\AA$ there exists:
::an injective object $I$
::a monomorphism $X \to I$.
\end{definition}