contravariant in Portuguese

(category theory, of a functor) Which reverses the order of morphism composition: formally, which associates each morphism f:X \to Y to a morphism F(f):F(Y) \to F(X).