No-go theorems for distributive laws

MaRDI QIDQ5028467zbMATH OpenFDO

Authors Maaike Zwart, Dan Marsden

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/2003.12531, https://lmcs.episciences.org/8973

zbMATH Keywords

compositionalitydistributive lawsmonadsno-go theorems

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• No-go theorems for distributive laws
• Monad compositions. I: General constructions and recursive distributive laws
• Near distributive laws
• Distributive laws for relative monads
• Presenting distributive laws

Cites work

• A divertimento on MonadPlus and nondeterminism
• Backtracking with cut via a distributive law and left-zero monoids
• Convexity, duality and effects
• Distributing probability over non-determinism
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• scientific article; zbMATH DE number 3982493 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• Iterated covariant powerset is not a monad
• Iterated distributive laws
• Layer by layer -- combining monads
• Monad compositions II: Kleisli strength
• Monad compositions. I: General constructions and recursive distributive laws
• Monads on symmetric monoidal closed categories
• Postulates for the barycentric calculus
• Presenting distributive laws
• Semantics of weakening and contraction
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

Cited in

(13)

• Algebraic presentation of semifree monads
• Preservation and reflection of bisimilarity via invertible steps
• Distributive laws for relative monads
• The Power-Set Construction for Tree Algebras
• No-Go Theorems for Distributive Laws
• Monadic monadic second order logic
• No-go theorems for distributive laws
• Correspondence between composite theories and distributive laws
• Weakening and iterating laws using string diagrams
• No go theorems: directed containers that do not distribute over distribution monads
• Multisets and distributions
• Polynomial universes in homotopy type theory
• A no-go theorem for coalgebraic product construction

This page was built for publication: No-go theorems for distributive laws

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028467)