A Probability Monad as the Colimit of Spaces of Finite Samples

Tobias Fritz, Paolo Perrone

We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite…