A cone-theoretic barycenter existence theorem

Jia,Xiaodong
DOI: https://doi.org/10.46298/lmcs-20(4:7)2024
2024-10-11
Logical Methods in Computer Science
Abstract:We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone has a barycenter. This barycenter is unique, and the barycenter map is continuous, hence is the structure map of a -algebra, i.e., an Eilenberg-Moore algebra of the extended valuation monad on the category of topological spaces; it is, in fact, the unique -algebra that induces the cone structure on .
computer science, theory & methods,logic
What problem does this paper attempt to address?