distributive copy-discard categoryLast updated Nov 12, 2024Tags: copy-discard category, distributive Markov category.
