distributive copy-discard category

Tags: copy-discard category, distributive Markov category.