Subject: categories: preprint: A Basic Distributive Law

From: Richard Wood <[email-masked]>
Date: Wed, 19 Jan 2000 19:30:03 -0400 (AST)

The article whose abstract follows is available from

ftp://ftp.tac.mta.ca/pub/mathcs/papers/rosebrugh/bdl.{dvi,ps}

Regards to all,
F. Marmolejo, R. Rosebrugh, RJ Wood

--------------------------------------------------------------

A Basic Distributive Law
F. Marmolejo, R. Rosebrugh, RJ Wood

We pursue distributive laws between monads, particularly in the context of
KZ-doctrines, and show that a very basic distributive law has
(constructively) completely distributive lattices for its algebras.
Moreover, the resulting monad is shown to be also the double dualization
monad (with respect to the subobject classifier) on ordered sets.