Theory of cartesian multicategories

Last updated Feb 3, 2024

A cartesian multicategory is equivalently a colored Lawvere theory.

Tags: Type theory, Multicategory, Cartesian multicategory.