Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a full...

Diagonal functor : The diagonal functor is defined as the functor from D to the functor category D C which sends each object in D to the constant f...

Preservation of limits Representable functors are naturally isomorphic to Hom functors and therefore share their properties. In particular, (covari...

contravariant functor is right exact if and only if it turns finite limits into colimits. A functor is exact if and only if it is both left exact a...

The distinction is particularly important for computations with tensors , which often have mixed variance (both covariant and contravariant compone...

C ) can be made precise in several ways; the most succinct formulation uses the language of adjoint functors . Every functor F  : D ? E induces a f...

Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morphisms in the category of al...

Left derived functors are zero on all projective objects. One may also start with a contravariant left-exact functor F ; the resulting right-derive...

Ext functor - Wikipedia, the free encyclopedia Ext functor From Wikipedia, the free encyclopedia Jump to: navigation , search In mathematics , the ...

If the diagram is contravariant then it is called an inverse system . [ edit ] Cones and limits A cone of a diagram D  : J ? C is a morphism from t...

Transformation of local covariant basis in the case of general curvilinear coordinates As stated above, contravariant vectors are vectors with cont...

In practice, for a valid statement about a particular category , the dual statement is valid in the dual category ( ). [ edit ] Duality The example...