References A Synthetic Approach to Markov Kernels (Fritz, 2020) Simple Free Star-Autonomous Categories and Full Coherence (Hughes) Tags: markov chain.