Near distributive laws

DOI10.1016/J.ENTCS.2018.11.014MaRDI QIDQ2134823zbMATH OpenOpenAlexWikidataFDO

Authors Ernie Manes, Phil Mulry

Publication date 3 May 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2018.11.014

zbMATH Keywords

free monadmonad approximationmonad compositionnear distributive law

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Pseudo-distributive laws
• Distributive laws for Lawvere theories
• The generalized distributive law
• Iterated distributive laws
• Weak distributive laws
• scientific article; zbMATH DE number 7547146
• Distributive laws for commuting equivalence relations
• Distributive laws and Koszulness
• No-iteration mixed distributive laws
• A note on the number of distributive laws

Cites work

• Adjoint Lifting Theorems for Categories of Algebras
• Algebra in the Stone-Čech compactification: theory and applications
• Coequalizers and free triples
• scientific article; zbMATH DE number 3460492 (Why is no real title available?)
• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• Monad compositions II: Kleisli strength
• Monad compositions. I: General constructions and recursive distributive laws
• Notions of monad strength

Cited in

(2)

• No-go theorems for distributive laws
• No-go theorems for distributive laws

This page was built for publication: Near distributive laws

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