Fuzzy metrization of the spaces of idempotent measures (Q1987692)

There exists the notion of fuzzy metric space of [\textit{I. Kramosil} and \textit{J. Michalek}, Kybernetika 11, 336--344 (1975; Zbl 0319.54002)] motivated by the concept of statistical metric space of [\textit{B. Schweizer} and \textit{A. Sklar}, Pac. J. Math. 10, 313--334 (1960; Zbl 0091.29801)]. Given a set \(X\), a fuzzy metric on \(X\) is a map \(M:X\times X\times\mathbb{R}\rightarrow[0,1]\) (i.e., a fuzzy set in \(X\times X\times\mathbb{R}\)) satisfying generalized classical metric axioms. Given \(x,y\in X\) and \(a\in \mathbb{R}\), \(M(x,y,a)\) is interpreted as the degree to which the distance between \(x\) and \(y\) is strictly smaller than \(a\) (by analogy with a probability distribution function if the distance between \(x\) and \(y\) is considered as a value of a random variable). The notion of fuzzy metric was later modified in [\textit{A. George} and \textit{P. Veeramani}, Fuzzy Sets Syst. 64, No. 3, 395--399 (1994; Zbl 0843.54014)], and it was shown in [\textit{V. Gregori} and \textit{S. Romaguera}, ibid. 115, No. 3, 485--489 (2000; Zbl 0985.54007)] that a topological space is metrizable iff it is fuzzy metrizable in the sense of A.~George and P.~Veeramani (every fuzzy metric induces a Hausdorff topology). The present paper constructs a monad on the category \textbf{FMS} of compact fuzzy metric spaces and non-expanding maps. This monad relies on two functors on the category \textbf{Comp} of compact Hausdorff spaces and continuous maps: first, the idempotent measure functor \(I\) assigning to a compact Hausdorff space \(X\) the set of idempotent measures on \(X\) (in the sense of [\textit{V. P. Maslov}, Méthodes opératorielles. Traduit du russe par Djilali Embarek. Moscou: Éditions Mir (1987; Zbl 0651.47039)]) and, second, the hyperspace functor exp assigning to \(X\) the set of all non-empty compact subsets of \(X\), where both functors can be made into a monad on \textbf{Comp} as shown in, e.g., [\textit{M. M. Zarichnyi}, Izv. Math. 74, No. 3, 481--499 (2010; Zbl 1220.18002); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 74, No. 3, 45--64 (2010)]. Briefly speaking, the authors construct a fuzzy metric on the set of idempotent measures on a compact fuzzy metric space. Moreover, it is stated (Remark 4.1 on page 108) that ``one can also construct a fuzzy metric on the set of idempotent measures with compact support on noncompact fuzzy metric spaces''. The paper is well written, contains most of its required preliminaries, and will be of use to all those researchers, who are interested in the theory of fuzzy metric spaces (provided that they have some knowledge on the topic and will be ready to dig into the mathematical technicalities of the paper).