A cone-theoretic barycenter existence theorem

09/28/2022
by   Jean Goubault-Larrecq, et al.
0

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 𝐕_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 𝐕_w-algebra that induces the cone structure on ℭ.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset