Beyond nonexpansive operations in quantitative algebraic reasoning

DOI10.1145/3531130.3533366MaRDI QIDQ6649487zbMATH OpenFDO

Authors Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Publication date 6 December 2024

Full work available at URL https://doi.org/10.1145/3531130.3533366

zbMATH Keywords

equational logicfree algebrasmetricsmonadsprobability distributionsquantitative reasoning

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Recommendations

• Quantitative Algebraic Reasoning
• scientific article; zbMATH DE number 7297850
• On Quantitative Algebraic Higher-Order Theories
• An algebraic theory of Markov processes

Cites work

• A new concept of probability metric and its applications in approximation of scattered data sets
• An algebraic theory of Markov processes
• Combining effects: sum and tensor
• Convexity, duality and effects
• Equational axiomatization of algebras with structure
• Finitary monads on the category of posets
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Notions of computation and monads
• Quantitative Algebraic Reasoning
• Quantitative Equational Reasoning

Cited in

(4)

• Algebraic reasoning over relational structures
• Which categories are varieties of quantitative algebras?
• Universal quantitative algebra for fuzzy relations and generalised metric spaces
• Compact quantitative theories of convex algebras

This page was built for publication: Beyond nonexpansive operations in quantitative algebraic reasoning

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