This is the one-sorted version of a Cartesian multicategory. affine Lawvere theory Cartesian multicategory Lawvere theory induced by a tricocycloid closing pipes breaks associativity