Presenting convex sets of probability distributions by convex semilattices and unique bases
Logic in Computer Science
2020-05-05 v1
Abstract
We prove that every finitely generated convex set of finitely supported probability distributions has a unique base, and use this result to show that the monad of convex sets of probability distributions is presented by the algebraic theory of convex semilattices.
Keywords
Cite
@article{arxiv.2005.01670,
title = {Presenting convex sets of probability distributions by convex semilattices and unique bases},
author = {Filippo Bonchi and Ana Sokolova and Valeria Vignudelli},
journal= {arXiv preprint arXiv:2005.01670},
year = {2020}
}