A basic distributive law

✍ Scribed by F. Marmolejo; R.D. Rosebrugh; R.J. Wood

• Book ID: 104152465
• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 171 KB
• Volume: 168
• Category: Article
• ISSN: 0022-4049
• DOI: 10.1016/s0022-4049(01)00097-4

✦ Synopsis

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 classiÿer) on ordered sets.