adjective: (category theory, of a functor) which reverses composition
adjective: (object-oriented programming) Using or relating to contravariance.
noun: (algebra) A bihomogeneous polynomial in dual variables of x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations.