In the early 1990's the authors proved that the full subcategory of `sup-lattices' determined by the constructively completely distributive (CCD) lattices is equivalent to the idempotent splitting completion of the bicategory of sets and relations. Having many corollaries, this was an extremely useful result. Moreover, as the authors soon suspected, it specializes a much more general result.

Let D be a monad on a category C in which idempotents split.
Write kar(C_D) for the idempotent splitting completion of the Kleisli
category.
Write spl(C^D) for the category whose objects are pairs ((L,s),t), where
(L,s) is an object of the Eilenberg-Moore category for D, and
t is a *homomorphism* that splits
s, with
spl(C^D)(((L,s),t),((L',s'),t'))=C^D((L,s)(L',s')).

The main result is that kar(C_D) is isomorphic to spl(C^D). We also show how this implies the CCD lattice characterization theorem and consider a more general context.

Keywords: complete distributivity, idempotent splitting completion, K-Z doctrine

2000 MSC: 18C15, 18D20, 06D10

*Theory and Applications of Categories,*
Vol. 13, 2004,
No. 12, pp 172-183.

http://www.tac.mta.ca/tac/volumes/13/12/13-12.dvi

http://www.tac.mta.ca/tac/volumes/13/12/13-12.ps

http://www.tac.mta.ca/tac/volumes/13/12/13-12.pdf

ftp://ftp.tac.mta.ca/pub/tac/html/volumes/13/12/13-12.dvi

ftp://ftp.tac.mta.ca/pub/tac/html/volumes/13/12/13-12.ps