A cone-theoretic barycenter existence theorem

Publication date: 28 September 2022

Abstract: We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone

m a t h f r a k C

has a barycenter. This barycenter is unique, and the barycenter map

is continuous, hence is the structure map of a

m a t h b f V_{m a t h r m 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

m a t h b f V_{m a t h r m w}

-algebra that induces the cone structure on

m a t h f r a k C

.

This page was built for publication: A cone-theoretic barycenter existence theorem