wikidiffcom |
contravariance |
As a noun contravariance is
(
label) the reversal of the order of data types acted upon by an operator.
types |
contravariance |
As an adjective types
is .
As a noun contravariance is
(
label) the reversal of the order of data types acted upon by an operator.
composition |
contravariance |
As nouns the difference between composition and contravariance
is that
composition is the proportion of different parts to make a whole while
contravariance is (
label) the reversal of the order of data types acted upon by an operator.
functor |
contravariance |
In category theory terms the difference between functor and contravariance
is that
functor is a structure-preserving mapping between categories: if
F is a functor from category
C to category
D, then
F maps objects of
C to objects of
D and morphisms of
C to morphisms of
D such that any morphism
f:
X→
Y of
C is mapped to a morphism
F(
f):
F(
X) →
F(
Y) of
D, such that if
then
, and such that identity morphisms (and only identity morphisms) are mapped to identity morphisms. Note: the functor just described is covariant while
contravariance is a functor which reverses composition.
As nouns the difference between functor and contravariance
is that
functor is a function word while
contravariance is the reversal of the order of data types acted upon by an operator.
operator |
contravariance |
As nouns the difference between operator and contravariance
is that
operator is an operator, a service provider, an isp while
contravariance is (
label) the reversal of the order of data types acted upon by an operator.
data |
contravariance |
As nouns the difference between data and contravariance
is that
data is (
time) date while
contravariance is (
label) the reversal of the order of data types acted upon by an operator.
order |
contravariance |
As nouns the difference between order and contravariance
is that
order is , command while
contravariance is (
label) the reversal of the order of data types acted upon by an operator.
reversal |
contravariance |
As nouns the difference between reversal and contravariance
is that
reversal is the state of being reversed while
contravariance is (
label) the reversal of the order of data types acted upon by an operator.
As an adjective reversal
is intended to reverse; implying reversal.
Pages