Conditionals in a Markov category

Last updated Sep 8, 2023

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

References

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