
The lifting monad on directed-complete partial orders (dcpos) has a rich 2-categorical structure, including universal properties as a Sierpiński cone and a partial product. This enables a constructive analysis of the lifting doctrine, including the cocompleteness of lifting algebras and their symmetric monoidal closed structure.


coremsg

the-constructive-geometry-of-the-lifting-doctrine-in-domain-theory


The Constructive Geometry of the Lifting Doctrine in Domain Theory
