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

covariante
...de um functor que preserva o sentido dos morfismos

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