References The Category of Probabilistic Mappings (Lawvere, 1962) A Categorical Approach to Probability Theory (Giry) Labelled Markov Processes (Panangaden) The Category of Markov Kernels (Panangaden, 1999) Tags: continuous, probability, Monad.