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

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

If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M can be reinterpreted as a ca...

Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial orders 2 Formal definitions...

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

Namely, we can demand the existence of a tensor product that is left adjoint to the internal Hom functor . In this approach, closed monoidal catego...

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

P. Freyd [1] ) if it contains all the objects of C . A lluf subcategory is typically not full: the only full lluf subcategory of a category is that...

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

R -Mod, an injective object is an injective module . R -Mod has injective hulls (as a consequence, R-Mod has enough injectives). In the category of...

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