The 2-category of constructively completely distributive lattices is shown to be bidual to a 2-category of generalized orders that admits a monadic schizophrenic object biadjunction over the 2-category of ordered sets.
Keywords: adjunction, completely distributive, idempotent, monadic, proarrow equipment, cauchy complete
2000 MSC: 18A25
Theory and Applications of Categories,
Vol. 22, 2009,
No. 1, pp 1-23.
http://www.tac.mta.ca/tac/volumes/22/1/22-01.dvi
http://www.tac.mta.ca/tac/volumes/22/1/22-01.ps
http://www.tac.mta.ca/tac/volumes/22/1/22-01.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/22/1/22-01.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/22/1/22-01.ps