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

05/04/2020

∙

by   Filippo Bonchi, et al.

∙

0

∙

share

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.