Partially Ordered Monads

  • Ulrich Höhle


It is our intention to introduce a partially ordered monad as a monad T = (T, η µ) in a given base category C provided with the following additional properties:
  • 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.


Universal Property Left Adjoint Canonical Morphism Galois Connection Inclusion Functor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Ulrich Höhle
    • 1
  1. 1.Fachbereich MathematikBergische UniversitätWuppertalGermany

Personalised recommendations