Bayesian Inversion in Partial Markov

Tags: Synthetic Bayes theorem, Bayesian inversion.

References.

• A Synthetic Approach to Markov Kernels (Fritz, 2020). Introduces the notion of Bayesian inversion in (non-partial) Markov categories.
• Evidential Decision Theory via Partial Markov Categories (Di Lavore, Roman, 2023). Proves the synthetic version of Bayes’ theorem.