Subdistribution monad

Last updated Nov 12, 2024

References:

• Kleisli Semantics for Conditioning in Probabilistic Programming (Cho, Jacobs, 2022) See also:
• partial Markov - Bayes update on subdistributions