Definition:Enough Injectives

From ProofWiki
Jump to navigation Jump to search

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


Sources