Promonoidals as multicategories that factor

Last updated Apr 23, 2024

• Promonoidals induce coherent multicategories

Tags: promonoidal category, Multicategory.

Reference: This result seems to have first been used as definition of promonoidal category in Section 2 of Day, Panchadcharam, Street, 2005.