projective object

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