Stochastic function

Last updated Nov 12, 2024

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