Another characterization of no-iteration distributive laws

2019/10/15 by Enrique Ruiz Hernández, Hernández, Enrique Ruiz
Computer Science · #18C15 #18C20 (Secondary) #18D05 (Primary) #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Formal Methods in Verification #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.1910.06531

openalex publication_date 2019/10/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We provide a characterization of no-iteration distributive laws in terms of its monads in extensive form only. To do that, it is necessary to take account of both right and left extension systems. We also give, in this right-left perspective, characterizations of the 1-cells and 2-cells in EM(K) and Kl(K).

Related

• Don't Try This at Home: No-Go Theorems for Distributive Laws
• Iterated distributive laws
• Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic
• Distributing Retractions, Weak Distributive Laws and Applications to Monads of Hyperspaces, Continuous Valuations and Measures
• Interpreting the monadic second order theory of one successor in expansions of the real line