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