Obsérvese que "H" es un funtor contravariante mientras que el "H" es covariante.