Stochastic function

Last updated Mar 28, 2024

The category of stochastic functions is the Kleisli category of the distribution monad.