Copy-discard categoryLast updated Oct 23, 2024Tags: category theorycopy-discard categories are a synthetic theory of information flow