co-variante
...de um functor que preserva o sentido dos morfismos

contravariante
...de um functor que inverte o sentido dos morfismos

functor
função entre categorias que transforma objectos em objectos, e morfismos, entre esses objectos, em morfismos entre os transformados, e que respeita a composição