Theory of cartesian multicategories

Last updated Aug 28, 2024

A cartesian multicategory is equivalently a colored Lawvere theory.

Tags: Type theory, multicategory, Cartesian multicategory.