# Definition of Contravariant. Meaning of Contravariant. Synonyms of Contravariant

Here you will find one or more explanations in English for the word Contravariant. Also in the bottom left of the page several parts of wikipedia pages related to the word Contravariant and, of course, Contravariant synonyms and on the right images related to the word Contravariant.

## Definition of Contravariant

No result for Contravariant. Showing similar results...

## Meaning of Contravariant from wikipedia

- geometric or physical entities changes with a change of basis. Briefly, a contravariant vector is a list of numbers that transforms oppositely to a change of...
- Look up covariance or contravariance in Wiktionary, the free dictionary. Covariance and contravariance may refer to: Covariance and contravariance of vectors...
- "function from Cat to String" because the function type constructor is contravariant in the parameter type. Here, the subtyping relation of the simple types...
- functors in order to distinguish them from contravariant ones. Note that one can also define a contravariant functor as a covariant functor on the opposite...
- variable object as covariant (lower index), contravariant (upper index), or mixed covariant and contravariant (having both upper and lower indexes). In...
- transform in the same way. The inverse of a covariant transformation is a contravariant transformation. Whenever a vector should be invariant under a change...
- embedding of any locally small category into a category of functors (contravariant set-valued functors) defined on that category. It also clarifies how...
- where the hat denotes the components in the new basis. This is called a contravariant transformation law, because the vector components transform by the inverse...
- is equivalent to defining a contravariant vector to be a tensor of contravariant rank one. Alternatively, a contravariant vector is defined to be a tangent...
- in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the homotopy category Hotc of pointed connected CW complexes...