Corollary [efr-7QV9]

Let \mathcal {C}, \mathcal {D} be distributive coinflip Markov categories, and suppose F: \mathcal {C} \to \mathcal {D} is a Markov functor which preserves coproducts and the monoidal unit. Then F also preserves the coinflip structure.