Diagonal functor : The diagonal functor is defined as the functor from D to the functor category D C which sends each ob...
Preservation of limits Representable functors are naturally isomorphic to Hom functors and therefore share their propert...
Beck's monadicity theorem gives a characterization of monadic functors. [ edit ] Uses Monads are used in functional prog...
Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom f...
Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morp...
Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morp...
C ) can be made precise in several ways; the most succinct formulation uses the language of adjoint functors . Every fun...
