DeepAI
Log In Sign Up

Monads and Quantitative Equational Theories for Nondeterminism and Probability

05/15/2020
by   Matteo Mio, et al.
0

The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category of metric spaces, by means of the Hausdorff and Kantorovich metric liftings. Our main result is the presentation of this lifted monad in terms of the quantitative equational theory of convex semilattices, using the framework of quantitative algebras recently introduced by Mardare, Panangaden and Plotkin.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/04/2020

Presenting convex sets of probability distributions by convex semilattices and unique bases

We prove that every finitely generated convex set of finitely supported ...
07/24/2022

Presenting Quantitative Inequational Theories

It came to the attention of myself and the coauthors of (S., Rozowski, S...
01/22/2022

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning

The framework of quantitative equational logic has been successfully app...
09/06/2018

Extending set functors to generalised metric spaces

For a commutative quantale V, the category V-cat can be perceived as a c...
05/05/2017

Composition of Credal Sets via Polyhedral Geometry

Recently introduced composition operator for credal sets is an analogy o...
04/05/2018

On the Axiomatizability of Quantitative Algebras

Quantitative algebras (QAs) are algebras over metric spaces defined by q...
06/27/2022

Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems

We introduce a general theory of quantitative and metric rewriting syste...