Synthetic Bayes theoremLast updated Sep 8, 2023Tags: discrete partial Markov category, Bayes theorem.