Theory of cartesian multicategories

Last updated Jan 8, 2025

A cartesian multicategory is equivalently a colored Lawvere theory.

Tags: Type theory, multicategory, Cartesian multicategory.