copy-discard-compare category

Last updated Oct 14, 2024

• do-notation for copy-discard-compare categories

Tags: copy-discard category, monoidal category