Max-min measures on ultrametric spaces (Q1944338)

With every topological space \(X\) the authors associate a set \(J_\omega(X)\) whose elements they call max-min measures of finite support on \(X\). They show that if \(X\) is an ultrametric space, then \(J_\omega(X)\) can be equipped with a canonical ultrametric in such a way that the correspondence \(X\mapsto J_\omega(X)\) becomes an endofunctor, denoted by \(J_\omega\), of the category UMET of ultrametric spaces and nonexpanding maps. Moreover, they find natural transformations \(\delta: 1_{\text{UMET}}\to J_\omega\) and \(\xi: J_\omega\circ J_\omega\to J_\omega\) and prove that \((J_\omega, \delta, \xi)\) is a monad in UMET. It turns out that \(J_\omega\) is isomorphic to the functor \(I_\omega\) of idempotent measures of compact support that was studied by \textit{M. Zarichnyi} [Izv. Math. 74, No. 3, 481--499 (2010; Zbl 1220.18002)]. However, the monad \((J_\omega,\delta,\xi)\) is not isomorphic to the monad generated by \(I_\omega\). By passing from \(J_\omega(X)\) to its metric completion, similar results are obtained for the category CUMET of complete ultrametric spaces and nonexpanding maps.