Synthetic Bayes theoremLast updated Mar 5, 2025Tags: Bayesian Inversion in Partial Markov, discrete partial Markov category, Bayes update.