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

Beck's monadicity theorem gives a characterization of monadic functors. [ edit ] Uses Monads are used in functional programming to express types of...

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

Universal cones Limits and colimits are defined as universal cones . That is, cones through which all other cones factor. A cone ? from L to F is a...

String diagram - Wikipedia, the free encyclopedia String diagram From Wikipedia, the free encyclopedia Jump to: navigation , search In category the...

Set (with the monoidal structure induced by the cartesian product) is a monoid in the usual sense. A monoid object in Top (with the monoidal struct...

If the diagram is contravariant then it is called an inverse system . [ edit ] Cones and limits A cone of a diagram D  : J ? C is a morphism from t...