20 Jan
2000
20 Jan
'00
10:30 a.m.
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.