 Every Grothendieck category contains an injective cogenerator.For example, an injective cogenerator of the category of abelian groups is the quotient group formula_55.Every object in a Grothendieck category formula_7 has an injective hull in formula_7.