return to top
source
An object is projective iff the preadditive coyoneda functor on it preserves epimorphisms.