Conditionals in a Markov category

Last updated May 2, 2024

• conditionals using do-notation

Related: Markov category, discrete partial Markov category, Synthetic Bayes theorem, Disintegration.

References

• A Synthetic Approach to Markov Kernels (Fritz, 2020)
• Disintegration and Bayesian Inversion via String Diagrams (Cho, Jacobs, 2017)