A basic distributive law

DOI10.1016/S0022-4049(01)00097-4zbMath1005.18006OpenAlexW2078516608MaRDI QIDQ5960405

Robert D. Rosebrugh, Richard J. Wood, Francisco Marmolejo

Publication date: 7 April 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(01)00097-4

zbMATH Keywords

distributive latticessubobject classifier2-category of ordered setsadjoint stringsdistributive lawsdouble-dualizationKZ-doctrinesmonad

Mathematics Subject Classification ID

Complete distributivity (06D10) Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

Distributive laws for relative monads, Monad compositions II: Kleisli strength, Powersets of terms and composite monads, On the Logic of Generalised Metric Spaces, Distributive laws via admissibility, A factorization of regularity, An extension of the regular completion, Distributive laws and factorization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Yoneda structures on 2-categories
• Constructive complete distributivity. IV
• Groupoidal completely distributive lattices
• Distributive laws for pseudomonads. II
• Monads for which structures are adjoint to units
• The formal theory of monads
• An extension of the Galois theory of Grothendieck
• Constructive complete distributivity. I
• Constructive complete distributivity II
• Constructive Complete Distributivity III
• Colimits in Topoi
• Coherence for tricategories
• Boundedness and complete distributivity