Two-sided duoidal dualityLast updated Apr 23, 2024Typo: We require the duoidal category to be normal.normal duoidal categorynormal monoidal multicategory