We consider three monads on $\mathsf{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 one 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 $V \to H$ . In particular, this implies that every H-algebra (topological complete semilattice) is also a V-algebra. We show that V can be restricted to a submonad of $\tau$ -smooth probability measures on $\mathsf{Top}$ . By composing these morphisms of monads, we obtain that taking the supports of $\tau$ -smooth probability measures is also a morphism of monads.

An example is given of a map $f$ defined between arcwise connected continua such that $C(f)$ is light and ${{2}^{f}}$ is not light, giving a negative answer to a question of Charatonik and Charatonik. Furthermore, given a positive integer $n$, we study when the lightness of the induced map ${{2}^{f}}$ or ${{C}_{n}}(f)$ implies that $f$ is a homeomorphism. Finally, we show a result in relation with the lightness of $C(C(f))$.

In proving the contractibility of certain hyperspaces J. L. Kelley identified and defined a certain uniformnessproperty which he called Property 3.2. It is known that the classes of locally connected continua, homogeneous continua and hereditarily indecomposable continua have Property 3.2. In this paper we prove that two examples of indecomposable continua developed respectively by the authors have Property 3.2. One is the example of a nonchainable atriodic tree-like continuum with positive span which was defined by the first author, and the other is a nonchainable, noncircle-like continuum which has the cone=hyperspace property which was defined by the second author. Each of the examples is an inverse limit of an inverse system having a single bonding map.