copy-discard normal duoidal category

Tags: copy-discard category, normal duoidal category.