Continuous R-valuations

by   Jean Goubault-Larrecq, et al.

We introduce continuous R-valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continuous valuations from reals to so-called Abelian d-rags R. Like the valuation monad 𝐕 introduced by Jones and Plotkin, we show that the construction of continuous R-valuations extends to a strong monad 𝐕^R on the category of dcpos and Scott-continuous maps. Additionally, and as in recent work by the two authors and C. ThΓ©ron, and by the second author, B. Lindenhovius, M. Mislove and V. Zamdzhiev, we show that we can extract a commutative monad 𝐕^R_m out of it, whose elements we call minimal R-valuations. We also show that continuous R-valuations have close connections to measures when R is taken to be πˆβ„^⋆_+, the interval domain of the extended nonnegative reals: (1) On every coherent topological space, every non-zero, bounded Ο„-smooth measure ΞΌ (defined on the Borel Οƒ-algebra), canonically determines a continuous πˆβ„^⋆_+-valuation; and (2) such a continuous πˆβ„^⋆_+-valuation is the most precise (in a certain sense) continuous πˆβ„^⋆_+-valuation that approximates ΞΌ, when the support of ΞΌ is a compact Hausdorff subspace of a second-countable stably compact topological space. This in particular applies to Lebesgue measure on the unit interval. As a result, the Lebesgue measure can be identified as a continuous πˆβ„^⋆_+-valuation. Additionally, we show that the latter is minimal.


page 1

page 2

page 3

page 4

βˆ™ 10/09/2019

Probability, valuations, hyperspace: Three monads on Top and the support as a morphism

We consider three monads on Top, the category of topological spaces, whi...
βˆ™ 09/01/2021

Separating minimal valuations, point-continuous valuations and continuous valuations

We give two concrete examples of continuous valuations on dcpo's to sepa...
βˆ™ 09/28/2022

A cone-theoretic barycenter existence theorem

We show that every continuous valuation on a locally convex, locally con...
βˆ™ 12/14/2017

A Probability Monad as the Colimit of Finite Powers

We define a monad on the category of complete metric spaces with short m...
βˆ™ 11/21/2021

The Central Valuations Monad

We give a commutative valuations monad Z on the category DCPO of dcpo's ...
βˆ™ 09/11/2017

On A New Convergence Class in Sup-sober Spaces

Recently, J. D. Lawson encouraged the domain theory community to conside...
βˆ™ 05/01/2014

A Structural Approach to Coordinate-Free Statistics

We consider the question of learning in general topological vector space...

Please sign up or login with your details

Forgot password? Click here to reset