Saved in:
Bibliographic Details
Main Authors: Goubault-Larrecq, Jean, Jia, Xiaodong
Format: Preprint
Published: 2022
Subjects:
Online Access:https://arxiv.org/abs/2209.14005
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone $\mathfrak{C}$ has a barycenter. This barycenter is unique, and the barycenter map $β$ is continuous, hence is the structure map of a $\mathbf V_{\mathrm w}$-algebra, i.e., an Eilenberg-Moore algebra of the extended valuation monad on the category of $T_0$ topological spaces; it is, in fact, the unique $\mathbf V_{\mathrm w}$-algebra that induces the cone structure on $\mathfrak{C}$.