If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M c...
G -sets are nothing but functors from this category to Set The category of all directed graphs is cartesian closed; this...
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...
Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial ...
Set (with the monoidal structure induced by the cartesian product) is a monoid in the usual sense. A monoid object in To...
Subcategory Faithful functor Full functor Forgetful functor Yoneda lemma Representable functor Functor category Adjoint ...
