lax monoid

Last updated May 2, 2024

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