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