  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 the monad V of continuous valuations, also known as the extended
probabilistic powerdomain. We construct both monads in a unified way in terms
of double dualization. This reveals a close analogy between them, and 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 tau-smooth probability measure is also a morphism of monads.
