Synthetic Bayes theoremLast updated Nov 7, 2022Tags: Discrete partial Markov category, Bayes theorem.