Theorem [efr-TVLB]
Theorem [efr-TVLB]
\mathsf {BorelStoch} is (bi-)initial among countably extensive, Boolean, coinflip Markov categories with countable Kolmogorov products. (And Markov functors which preserve countable coproducts, countable Kolmogorov products and pullbacks along deterministic monomorphisms).