donde la segunda igualdad viene de la definición de un morfismo de funtores.