Stochastic functionLast updated Mar 28, 2024The category of stochastic functions is the Kleisli category of the distribution monad.