Lift monad I have made my 1992 prepint on the lift monad on posets available by ftp. It describes some properties of the monad which to a poset freely adjoins suprema for subsets with at most one element (if the logic is boolean, this means just: adjoining a bottom element). The file (LaTeX) is called lif.tex, and may be picked up by anonymous ftp in the directory papers/Kock at the site theory.doc.ic.ac.uk It is identical to Aarhus Preprint Series 1992, No.22, "Constructive Theory of the Lift Monad on Posets". Anders Kock