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