Page "Injective hull" Paragraph 16

If C is locally small, satisfies Grothendieck's axiom AB5 ) and has enough injectives, then every object in C has an injective hull ( these three conditions are satisfied by the category of modules over a ring ).

Every object in a Grothendieck category has an injective hull.