Partially Ordered Monads
For every C-object X the object T(X) is a partially ordered C -object.
The clone-composition-function is isotone in both variables.
For every C-object X the component µ X of the multiplication µ has a left adjoint C-morphism.
KeywordsUniversal Property Left Adjoint Canonical Morphism Galois Connection Inclusion Functor
Unable to display preview. Download preview PDF.