copy-discard multicategory

Tags: copy-discard category