Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial ...
Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morp...
Fedro [ edit ] Saved from Monads article Monads should redirect to Monad which should have a link here. Monads has a par...
Limits and universal morphisms Colimits in comma categories may be "inherited". If and are cocomplete, is a co...
Set (with the monoidal structure induced by the cartesian product) is a monoid in the usual sense. A monoid object in To...
Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom f...
F and a subset A of E . Let be the family of all finite subsets of A then . In other words the adjunction of any set can...
