Work

Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)

Year: 2021

Type: article

Abstract: We prove that every finitely generated convex set of finitely supported probability distributions has a unique base. We apply this result to provide an alternative proof of a recent result: the algebraic theory of convex semilattices presents the monad of convex sets of probability distributions.

Source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI: 10.4230/lipics.calco.2021.11

Authors: Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria

Institutions: University of Pisa, University of Salzburg, Lyon 1 Université, École Normale Supérieure de Lyon, Centre National de la Recherche Scientifique, Laboratoire de l'Informatique du Parallélisme

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: European Commission, Agence Nationale de la Recherche, Université de Lyon, Ministero dell'Università e della Ricerca

Awards: G169068394, Quantitative Reasoning Methods for Probabilistic Logics, PROJET AVENIR LYON SAINT-ETIENNE, Community of mathematics and fundamental computer science in Lyon, G3602240456, G3826037530, G4866930200, G5296751580, G5420063140, G6494969328, G7240651115, G7376787254, Reliable and Privacy-Aware Software Systems via Bisimulation Metrics, G7835500200

OpenAlex ID: W3021685003

FWCI: 0.25

Cites: 11

Cited by: 7

Related to: 10