English English Russian Русский
  • English English
  • Russian Russian
  • English English
  • Russian Russian
en

Contravariance

ru

Translation contravariance into russian

contravariance
Noun
raiting
In category theory, contravariance is a property of a functor.
В теории категорий контравариантность является свойством функторов.

Definitions

contravariance
Noun
raiting
In mathematics and computer science, contravariance refers to a property of a function or a type system where the direction of substitution is reversed, often used in the context of type theory to describe how types can be substituted in a type hierarchy.
In the type system, contravariance allows a function to accept arguments of a more general type than specified.