do-notation for copy-discard-compare categories References. A Simple Formal Language for Probabilistic Decision Problems (Di Lavore, Jacobs, Román, 2024) Tags: copy-discard category, monoidal category.
