| 单词 | contravariant |
| 释义 | BETA Examples ofcontravariantDictionary> Examples ofcontravariant contravariantisn’t in the Cambridge Dictionary yet. You can help! Add a definition This means that, as usual, the spatial covariant components of any 4-vector coincide with thecontravariantcomponents. From theCambridge English Corpus A connective may be covariant orcontravariantin each parameter. From theCambridge English Corpus Suchcontravarianttype constructors are not considered in this paper. From theCambridge English Corpus As outlined above, matching between functor types iscontravariantin the argument types. From theCambridge English Corpus The tensor components have co- andcontravariantindices. From theCambridge English Corpus Contravariantoccurrences of the type variable in a generalised binary method can be turned into covariant ones by interpreting methods as graphs instead of functions. From theCambridge English Corpus Our policy iscontravariantwith respect to argument types and covariant with respect to result types. From theCambridge English Corpus Generalising the fold operator to datatypes that involve functions gives rise to technical problems, due to thecontravariantnature of function types. From theCambridge English Corpus The key exception is the function type constructor, which iscontravariantin its first argument. From theCambridge English Corpus In the second solution, we treat binary methods as graphs instead of functions, thus turningcontravariantoccurrences in the functor into covariant ones. From theCambridge English Corpus The result of taking a fixpoint of acontravariantfunction is unpredictable in general. From theCambridge English Corpus From (18), (19), and (25), thecontravariantand components also vanish. From theCambridge English Corpus Thus,contravariantfunction spaces in the functor are rendered as covariant sets of relations. From theCambridge English Corpus This illustrates thecontravariantnature of calling instantiations of higher-order predicates. From theCambridge English Corpus Acontravariantprojection allows, however, for a consistent definition across the integration domain, whereas the longitudinal projection is ambiguous near the corner. From theCambridge English Corpus By acontravariantfunctor of fibrations, we mean a functor of fibrations that iscontravariantin each fibre. From theCambridge English Corpus We use the notion 'contravariantfunctor' to emphasise the fact that the functor maps from the dual category of some given category. From theCambridge English Corpus In particular, difficulties arise when we try to model simultaneously features such ascontravariantfunction spaces, record types, subtyping, recursive types and fixpoints. From theCambridge English Corpus To be definite we consider below only covariant positive flows (although, of course, each of the statements proved below has acontravariantanalog). From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。