Definition [efr-T0AU]

A Markov category is distributive (\kappa -distributive) if \mathcal {C}_\mathrm {det} admits finite (\kappa -small) coproducts, these are preserved by the inclusion \mathcal {C}_\mathrm {det} \hookrightarrow \mathcal {C}, and by the tensors A \otimes -.