Conditionals in a Markov category

Last updated May 3, 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)