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

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

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.

arrow_drop_up