Split structures

Robert Rosebrugh ; R.J. Wood

Theory and applications of categories, The Carboni Festschrift, Tome 13 (2004), pp. 172-183

Résumé

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.

Détail

Classification : 18C15, 18D20, 06D10
Keywords: complete distributivity, idempotent splitting completion, K-Z doctrine