|
The Constructive Lift Monad
Anders Kock March 1995 |
Abstract: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. |