单词 contravariant 释义 BETA

Examples ofcontravariant

Dictionary> Examples ofcontravariantcontravariantisn’t in the Cambridge Dictionary yet. You can help!Add a definitionThis means that, as usual, the spatial covariant components of any 4-vector coincide with thecontravariantcomponents.From theCambridge English CorpusA connective may be covariant orcontravariantin each parameter.From theCambridge English CorpusSuchcontravarianttype constructors are not considered in this paper.From theCambridge English CorpusAs outlined above, matching between functor types iscontravariantin the argument types.From theCambridge English CorpusThe tensor components have co- andcontravariantindices.From theCambridge English CorpusContravariantoccurrences 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 CorpusOur policy iscontravariantwith respect to argument types and covariant with respect to result types.From theCambridge English CorpusGeneralising the fold operator to datatypes that involve functions gives rise to technical problems, due to thecontravariantnature of function types.From theCambridge English CorpusThe key exception is the function type constructor, which iscontravariantin its first argument.From theCambridge English CorpusIn the second solution, we treat binary methods as graphs instead of functions, thus turningcontravariantoccurrences in the functor into covariant ones.From theCambridge English CorpusThe result of taking a fixpoint of acontravariantfunction is unpredictable in general.From theCambridge English CorpusFrom (18), (19), and (25), thecontravariantand components also vanish.From theCambridge English CorpusThus,contravariantfunction spaces in the functor are rendered as covariant sets of relations.From theCambridge English CorpusThis illustrates thecontravariantnature of calling instantiations of higher-order predicates.From theCambridge English CorpusAcontravariantprojection allows, however, for a consistent definition across the integration domain, whereas the longitudinal projection is ambiguous near the corner.From theCambridge English CorpusBy acontravariantfunctor of fibrations, we mean a functor of fibrations that iscontravariantin each fibre.From theCambridge English CorpusWe use the notion 'contravariantfunctor' to emphasise the fact that the functor maps from the dual category of some given category.From theCambridge English CorpusIn particular, difficulties arise when we try to model simultaneously features such ascontravariantfunction spaces, record types, subtyping, recursive types and fixpoints.From theCambridge English CorpusTo 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.