contravariance in German

(object-oriented programming) The reversal of the order of data types acted upon by an operator.

(category theory) A functor which reverses composition.