Observations and comparatorsLast updated Feb 3, 2024Tags: discrete partial Markov category, Synthetic Bayes theorem.