Theorem. The full subcategory of malleable multicategories and multifunctors is equivalent to the category of promonoidal categories and promonoidal functors between them.
References
Theorem. The full subcategory of malleable multicategories and multifunctors is equivalent to the category of promonoidal categories and promonoidal functors between them.
References