Probability measure monad on the category of ultrametric spaces
[EN] The set of all probability measures with compact support on an ultrametric space can be endowed with a natural ultrametric. We show that the functor of probability measures with finite supports (respectively compact supports) forms a monad in the category of ultrametric spaces (respectively com...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2008 |
| País: | España |
| Institución: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | inglés |
| OAI Identifier: | oai:riunet.upv.es:10251/86438 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/86438 |
| Access Level: | acceso abierto |
| Palabra clave: | Probability measure Ultrametric space Monad Kleisli category |
| Sumario: | [EN] The set of all probability measures with compact support on an ultrametric space can be endowed with a natural ultrametric. We show that the functor of probability measures with finite supports (respectively compact supports) forms a monad in the category of ultrametric spaces (respectively complete ultrametric spaces) and nonexpanding maps. It is also proven that the G-symmetric power functor has an extension onto the Kleisli category of the probability measure monad. |
|---|