A basic distributive law

16Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

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. © 2001 Published by Elsevier Science B.V.

Cite

CITATION STYLE

APA

Marmolejo, F., Rosebrugh, R. D., & Wood, R. J. (2002). A basic distributive law. Journal of Pure and Applied Algebra, 168(2–3), 209–226. https://doi.org/10.1016/S0022-4049(01)00097-4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free