Projectivity for, say, modules is this: an module is projective iff for any two modules and and two homomorphisms and where is onto, there exists a homomorphism such that
Is there a name for a property defined in the same way except that we substitute for both and What about the same change in the definition of injectivity?