Observations and comparatorsLast updated Nov 21, 2022Tags: Discrete partial Markov category, Synthetic Bayes theorem.