Probability, valuations, hyperspace: Three monads on top and the support as a morphism
Probability, valuations, hyperspace: Three monads on top and the support as a morphism
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 Hoare hyperspace monad H, which assigns to every space its space of closed subsets equipped with the lower Vietoris topology. The second is …