Sum and tensor of quantitative effects

DOI10.46298/LMCS-20(4:9)2024MaRDI QIDQ6635519zbMATH OpenFDO

Authors Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Publication date 12 November 2024

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(4:9)2024

zbMATH Keywords

algebraic effectsquantitative equational theoriessum and tensor of algebraic equational theories

Mathematics Subject Classification ID

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

Cites work

• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Algebra valued functors in general and tensor products in particular
• Algebraic operations and generic effects
• An algebraic theory of Markov processes
• Coequalizers and free triples
• Combining algebraic effects with continuations
• Combining effects: sum and tensor
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Combining semilattices and semimodules
• Coproducts of monads on Set
• Discrete Lawvere theories and computational effects
• Distributive laws for Lawvere theories
• Exploring the boundaries of monad tensorability on Set
• Generalizing determinization from automata to coalgebras
• scientific article; zbMATH DE number 6712178 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1354815 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 841537 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• scientific article; zbMATH DE number 3296290 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• Metric spaces, generalized logic, and closed categories
• Metrics for labelled Markov processes
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Monads on Categories of Relational Structures.
• Notions of computation and monads
• On Finitary Functors and Their Presentations
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Postulates for the barycentric calculus
• Quantitative Algebraic Reasoning
• Recursively defined metric spaces without contraction
• Semantics for algebraic operations
• Strong functors and monoidal monads
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Tensor of quantitative equational theories
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• The Vietoris monad and weak distributive laws

Cited in

(1)

• Compact quantitative theories of convex algebras

This page was built for publication: Sum and tensor of quantitative effects

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