Synthetic Bayes theoremLast updated Apr 23, 2024Tags: Bayesian Inversion in Partial Markov, discrete partial Markov category, Bayes theorem.