Esta operación es functorial contravariante con respecto a la composición de morfismos, es decir, formula_73 y formula_74.