If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M c...
Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom f...
Diagonal functor : The diagonal functor is defined as the functor from D to the functor category D C which sends each ob...
Namely, we can demand the existence of a tensor product that is left adjoint to the internal Hom functor . In this appro...
C . (Recall that a category C is preadditive if all its morphism sets are Abelian groups and morphism composition is bil...
As mentioned above, the category of all abelian groups is an abelian category. The category of all finitely generated ab...
Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial ...
