el funtor "G": Ab → "R"-Mod, definido por "G"("A") = Hom("A", "M") para cada grupo abeliano "A", es un adjunto derecho de "F".