Promonoidals as multicategories that factor

• multicategory - promonoidals induce coherent multicategories

Tags: multicategory - 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.