Promonoidals induce coherent multicategories

Last updated Sep 8, 2023

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