2000 character limit reached
Presenting convex sets of probability distributions by convex semilattices and unique bases (2005.01670v1)
Published 4 May 2020 in cs.LO
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.