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

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

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...

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...

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...

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...

Simplicial category - Wikipedia, the free encyclopedia Simplicial category From Wikipedia, the free encyclopedia Jump to: navigation , search In ma...

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

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

Spec even defines a contravariant functor from the category of commutative rings to the category of locally ringed spaces . In fact it is the unive...