![]() |
![]() |
We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone C has a barycenter. This barycenter is unique, and the barycenter map β is continuous, hence is the structure map of a Vw-algebra, i.e., an Eilenberg-Moore algebra of the extended valuation monad on the category of T0 topological spaces; it is, in fact, the unique Vw-algebra that induces the cone structure on C.