Multicategory

Last updated May 29, 2023

Any multicategory freely generates a category, called its contour. A notion of coherent multicategory is given by promonoidal categories and coherent multicategories.

Underlying category of a multicategory.

• Duomulticategory
• Polycategory
• Monoidal category
• Old - Multicategories

References

• Representable Multicategories (Hermida)
• Deductive Systems and Categories II: Standard Constructions and Closed Categories (Lambek)
• A Unified Framework for Generalized Multicategories (Cruttwell, Shulman, 2010)

#definition