Presenting convex sets of probability distributions by convex semilattices and unique bases
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2020
- DOI:
- 10.48550/arXiv.2005.01670
- arXiv:
- arXiv:2005.01670
- Bibcode:
- 2020arXiv200501670B
- Keywords:
-
- Computer Science - Logic in Computer Science