contravariant

kontravariant

1. (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).