Examples of contravariant

contravariant isn’t in the Cambridge Dictionary yet. You can help!
This means that, as usual, the spatial covariant components of any 4-vector coincide with the contravariant components.
A connective may be covariant or contravariant in each parameter.
Such contravariant type constructors are not considered in this paper.
As outlined above, matching between functor types is contravariant in the argument types.
The tensor components have co- and contravariant indices.
Contravariant occurrences of the type variable in a generalised binary method can be turned into covariant ones by interpreting methods as graphs instead of functions.
Our policy is contravariant with respect to argument types and covariant with respect to result types.
Generalising the fold operator to datatypes that involve functions gives rise to technical problems, due to the contravariant nature of function types.
The key exception is the function type constructor, which is contravariant in its first argument.
In the second solution, we treat binary methods as graphs instead of functions, thus turning contravariant occurrences in the functor into covariant ones.
The result of taking a fixpoint of a contravariant function is unpredictable in general.
From (18), (19), and (25), the contravariant and components also vanish.
Thus, contravariant function spaces in the functor are rendered as covariant sets of relations.
This illustrates the contravariant nature of calling instantiations of higher-order predicates.
A contravariant projection allows, however, for a consistent definition across the integration domain, whereas the longitudinal projection is ambiguous near the corner.
By a contravariant functor of fibrations, we mean a functor of fibrations that is contravariant in each fibre.
We use the notion 'contravariant functor' to emphasise the fact that the functor maps from the dual category of some given category.
In particular, difficulties arise when we try to model simultaneously features such as contravariant function spaces, record types, subtyping, recursive types and fixpoints.
To be definite we consider below only covariant positive flows (although, of course, each of the statements proved below has a contravariant analog).

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。