See also discrete partial Markov category Synthetic Bayes theorem partial Markov - Bayes update on subdistributions Bayes update with do-notation Bayes rare illness testing multiset updates Tags: probability, Markov category