Los "R-módulos" derechos son funtores aditivos contravariantes.