duoidal normalization the normal duoidal category of partial functions copy-discard normal duoidal category