* preprint: A Basic Distributive Law
@ 2000-01-19 23:30 Richard Wood
0 siblings, 0 replies; only message in thread
From: Richard Wood @ 2000-01-19 23:30 UTC (permalink / raw)
To: categories
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-01-19 23:30 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-01-19 23:30 preprint: A Basic Distributive Law Richard Wood
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).