Promonoidals induce coherent multicategories

Last updated Oct 14, 2024

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