Wiktionary
contravariance
n. 1 (label en computer science) The reversal of the order of data types acted upon by an operator 2 (label en category theory) A functor which reverses composition