Typo: We require the duoidal category to be normal. normal duoidal category normal monoidal multicategory
