Categorical characterization of uniform hyperspaces

In this paper, we use categorical methods to arrive at a characterization of Hausdorff hyperspaces of separated uniform spaces within a category of ordered uniform spaces. We begin by showing that the hyperspace construction gives rise to a monad H in the category Uni of non-empty separated uniform spaces and uniformly continuous maps. We then identify the category of H -algebras and characterize hyperspaces in this context.