Jean Goubault-Larrecq ; Xiaodong Jia - A cone-theoretic barycenter existence theorem

lmcs:10350 - Logical Methods in Computer Science, October 10, 2024, Volume 20, Issue 4 - https://doi.org/10.46298/lmcs-20(4:7)2024
A cone-theoretic barycenter existence theoremArticle

Authors: Jean Goubault-Larrecq ; Xiaodong Jia

    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 $\beta$ 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}$.


    Volume: Volume 20, Issue 4
    Published on: October 10, 2024
    Accepted on: August 13, 2024
    Submitted on: November 23, 2022
    Keywords: Mathematics - General Topology

    Consultation statistics

    This page has been seen 102 times.
    This article's PDF has been downloaded 37 times.