A cartesian multicategory is equivalently a colored Lawvere theory. Tags: Type theory, multicategory, Cartesian multicategory.
