lax monoidal categories are lax monoids in the monoidal bicategory of categories multicategories are lax monoids in the monoidal bicategory of spans