copy-discard-compare category

Last updated Feb 22, 2025

• 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.