multicategory - malleable multicategory multicategory - promonoidal category Old - Promonoidals induce coherent multicategories
