Stoch, the category of finitely-supported stochastic functions Substoch Parstoch NormStoch, the Kleisli non-associative category of partial stochastic functions