Examples of covariant

covariant isn’t in the Cambridge Dictionary yet. You can help!
Using negation, we can restrict attention to covariant connectives: a covariant connective is increasing with respect to inclusion, that is, compatible with 'subtyping'.
It follows that itself is a covariant homotopy equivalence.
But similar results can be derived using our techniques for other common type constructs, such as products, sums, and covariant recursive types built from them.
The elements of this tensor can be substituted directly into the eigenvalue problem for general coordinate systems written in covariant notation.
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.
In that theory the nature of the dual state space and fully covariant momentum maps can be properly defined.
Our main purpose is to find 'product-type' covariant representations for it.
Let us now turn to the covariant equations of motion.
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.
Only in the strictly unphysical formal limit of an infinitely large speed of light c do the covariant forms reduce to the standard expressions.
We present a covariant theory of photon acceleration in time-varying plasmas.
This is achieved through a covariant version of a conventional derivation based on correlation functions for fluctuations in the plasma.
First, one has to make this covariant; and second, it has to be defined on infinite-dimensional spaces.
First we define the tensor product of paracomplexes of covariant modules.

随便看

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