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

by   Tobias Fritz, et al.

We consider three monads on Top, the category of topological spaces, which formalize topological aspects of probability and possibility in categorical terms. The first one is the hyperspace monad H, which assigns to every space its space of closed subsets equipped with the lower Vietoris topology. The second is the monad V of continuous valuations, also known as the extended probabilistic powerdomain. Both monads are constructed in terms of double dualization. This not only reveals a strong similarity between them, but also allows us to prove that the operation of taking the support of a continuous valuation is a morphism of monads from V to H. In particular, this implies that every H-algebra (topological complete semilattice) is also a V-algebra. Third, we show that V can be restricted to a submonad of tau-smooth probability measures on Top. By composing these two morphisms of monads, we obtain that taking the support of a τ-smooth probability measure is also given by a morphism of monads.



There are no comments yet.


page 1

page 2

page 3

page 4


Continuity on directed spaces

We investigate two approximation relations on a T0 topological space, th...

Stochastic order on metric spaces and the ordered Kantorovich monad

In earlier work, we had introduced the Kantorovich probability monad on ...

A Probability Monad as the Colimit of Finite Powers

We define a monad on the category of complete metric spaces with short m...

Probabilistic Convergence and Stability of Random Mapper Graphs

We study the probabilistic convergence between the mapper graph and the ...

A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces

This paper concerns a stochastic construction of probabilistic coherent ...

On A New Convergence Class in Sup-sober Spaces

Recently, J. D. Lawson encouraged the domain theory community to conside...

Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors

We introduce extended Gaussian distributions as a precise and principled...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.