Two-sided duoidal duality

Last updated Jul 23, 2024

Typo: We require the duoidal category to be normal.

• normal duoidal category
• normal monoidal multicategory