contravariant

In computing programming terms the difference between covariant and contravariant

is that covariant is using or relating to covariance while contravariant is using or relating to contravariance.

As adjectives the difference between covariant and contravariant

is that covariant is (Of a functor) which preserves composition while contravariant is which reverses composition.

As nouns the difference between covariant and contravariant

is that covariant is {{cx|algebra|lang=en}} A bihomogeneous polynomial in x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations while contravariant is {{cx|algebra|lang=en}} 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.

As nouns the difference between contravariant and cofunctor

is that contravariant is 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 while cofunctor is a contravariant functor.

As an adjective contravariant

is (category theory|of a functor) which reverses composition.