Partially Ordered Monads

  • Ulrich Höhle

Abstract

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.

Keywords

Cond Asse Rtion Univer 

Preview

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