In invariant theory, a branch of algebra, given a group G, a covariant is a G- equivariant polynomial map between linear representations V, W of G. [1] It is a generalization of a classical convariant,[ clarification needed] which is a homogeneous polynomial map from the space of binary m-forms to the space of binary p-forms (over the complex numbers) that is -equivariant. [2]