Duality for CCD Lattices
F. Marmolejo, Robert D. Rosebrugh, R.J. Wood · Theory and applications of categories · 2009
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.