Presenting convex sets of probability distributions by convex semilattices and unique bases
Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria · arXiv (Cornell University) · 2020
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.