In higher category theory in mathematics, co- and contravariant model structures are special model structures on slice categories of the category of simplicial...

of the Kan–Quillen model structure Co- and contravariant model structure, which can be induced by the Kan–Quillen model structure Quillen, Daniel (1967)...

projective model structures, the latter is a Quillen adjunctions between the injective model structures. Co- and contravariant model structure, induced model structures...

IList is not allowed to be marked either co- or contravariant. In the common case of a generic data structure such as IList, these restrictions mean that...

functors (contravariant set-valued functors) defined on that category. It also clarifies how the embedded category of representable functors and their natural...

Plasmas 1:3'(Roscoe White), Writing B → {\displaystyle {\vec {B}}} by contravariant basis ( ∇ Ψ , ∇ ϕ , ∇ ζ ) {\displaystyle (\nabla \Psi ,\nabla \phi ...

locally finitely presentable category. If C is an arbitrary category, the contravariant functors from C to Set are often an important object of study. If A...

many tangent and cotangent factors it has. Sometimes these ranks are referred to as covariant and contravariant ranks, signifying tangent and cotangent ranks...

simplicial object in C is a contravariant functor from the simplicial category to C and a Γ-object is a pointed contravariant functor from Γ (roughly the...

includes the lifting property, co- and contravariant as well as injective and projective model structures, and the general theory of presheaves of sets...

isomorphism). Preservation of limits and colimits is a concept that only applies to covariant functors. For contravariant functors the corresponding notions...

(superscripts) are contravariant indices rather than exponents except when they indicate a square (this should be clear from the context), and lower indices...

{\displaystyle F_{S}} and to a morphism f {\displaystyle f} the inverse image functor f ∗ {\displaystyle f^{*}} is almost a contravariant functor from E {\displaystyle...

direct check on the Kerr metric involves cumbersome calculations, the contravariant components ⁠ g i k {\displaystyle g^{ik}} ⁠ of the metric tensor in...

difference between homology and cohomology is that in cohomology the chain complexes depend in a contravariant manner on X, and that therefore the homology...

thought of as a special case of a tensor with one covariant, and one contravariant index, and thus two T {\displaystyle {\mathcal {T}}} 's are required....

category theory, this amounts to a contravariant functor between two categories C and D: F: C → D which for any two objects X and Y of C gives a map HomC(X, Y)...

themselves contravariantly under rotations in space. Similarly, a dual (or co-) vector field attaches a dual vector to each point of space, and the components...

non-generic Array type. However, since arrays are contravariant, the casting would not be type safe, and the compiler would be unable to find certain possible...

Coppo, Mario; Dezani-Ciancaglini, Mariangiola (1983). "A filter lambda model and the completeness of type assignment". Journal of Symbolic Logic. 48 (4):...

is a contravariant functor and reverses the arrows, applying Hom G ⁡ ( − , M ) {\displaystyle \operatorname {Hom} _{G}(-,M)} to F termwise and dropping...

essential way, and thus defines a vector field on M. The operation (9) associating to the (covariant) components of a covector a[f] the (contravariant) components...

partially ordered sets is called a Galois connection (or, if it is contravariant, an antitone Galois connection). See that article for a number of examples:...

Relativistic effects such as length contraction and time dilation and some relations to covariant and contravariant vectors were demonstrated by them. Gruner...