Promonoidals as multicategories that factor

• 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.