Definition 12.27.4. Let \mathcal{A} be an abelian category. We say \mathcal{A} has enough injectives if every object A has an injective morphism A \to J into an injective object J.
Definition 12.27.4. Let \mathcal{A} be an abelian category. We say \mathcal{A} has enough injectives if every object A has an injective morphism A \to J into an injective object J.
Comments (0)
There are also: