An abelian category is said to have enough injectives if for every object , there is a monomorphism where is an injective object.