Esto es un funtor que es contravariante en el primer argumento y covariante en el segundo, esto es, es un funtor Ab x Ab → Ab (donde Ab denota la categoría de los grupos abelianos con los homomorfismos de grupos).