injective object

object 𝑋 in an abelian category such that hom(–,𝑋) is an exact functor to the opposite category of the category of abelian groups