The Constructive Lift Monad

Anders Kock

March 1995


We study the lift monad on posets in the setting of intuitionistic set theory (meaning inside a topos). Unlike in the boolean situation, the lift monad here consists in more than just adding a bottom element freely. -- We also study some related monads in the category of locales.

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.