A distributive partial Markov multicategory is a distributive copy-discard multicategory where each morphism has conditionals. A distributive Markov multicategory is an affine one.
- Non-empty sets and stochastic functions do form a distributive Markov multicategory, but adding the empty set causes the axiom of conditionals to break.