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.
KeywordsCond Asse Rtion Univer
Unable to display preview. Download preview PDF.