The posterior is proportional to the prior multiplied by the update.
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