Probability Measure Monad on the Category of Fuzzy Ultrametric Spaces (pp. 114-121)

摘要

It is proved that the probability measure functor comprises a monad on the category of fuzzy ultrametric spaces and nonexpanding maps. It is also proved that the G-symmetric power functor admits an extension on the Kleisli category of this monad (i.e. the category of fuzzy ultrametric spaces and nonexpanding measure-valued maps).