Promonoidals induce coherent multicategories

Last updated Apr 23, 2024

• malleable multicategory
• promonoidal category
• Old - Promonoidals induce coherent multicategories