Convexity via Weak Distributive Laws

DOI10.46298/lmcs-18(4:8)2022OpenAlexW3194914482MaRDI QIDQ5060194

Filippo Bonchi, Alessio Santamaria

Publication date: 9 January 2023

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.10718v4

zbMATH Keywords

convexitysemilatticessemimodulesweak distributive laws

Mathematics Subject Classification ID

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

Related Items

Convexity via Weak Distributive Laws

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation lifting, a survey
• Bialgebras for structural operational semantics: an introduction
• Notions of computation and monads
• Handbook of weighted automata
• The weak theory of monads
• Iterated covariant powerset is not a monad
• Combining semilattices and semimodules
• The monads of classical algebra are seldom weakly Cartesian
• The Vietoris monad and weak distributive laws
• Combining effects: sum and tensor
• A tutorial on coinductive stream calculus and signal flow graphs
• Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
• Coalgebraic Trace Semantics via Forgetful Logics
• Convex Polytopes
• Coinduction up-to in a fibrational setting
• Generic functional programming with types and relations
• Monoid-labeled transition systems
• Convexity via Weak Distributive Laws
• Distributive laws for Lawvere theories
• Sound up-to techniques and Complete abstract domains
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
• Distributing probability over non-determinism
• Relational algebras