Multicategory
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.
# See also
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