Markov Categories [markov-cats]
Markov Categories [markov-cats]
For some introductory material on Markov categories, see Lectures on Synthetic Probability Theory › Lecture 1 (in progress).