Definition [efr-3B2L]

\mathsf {Markov}_{\mathrm {bool}, \omega }^{\mathrm {flip}} is the 2-category where objects are Markov categories which have a coinflip, which are countably extensive, admit countable kolmogorov products, where \mathcal {C}_\mathrm {det} is Boolean. The functors are strong monoidal Markov functors which preserve countable limits in \mathcal {C}_\mathrm {det} and countable coproducts.