Theory of cartesian multicategories

Last updated Apr 7, 2023

A cartesian multicategory is equivalently a colored Lawvere theory.

Tags: Type theory, Multicategory, Lawvere theory.