An Object of a Locally Small Category is injective
if is Projective in