Lawvere theory

A cartesian multicategory, or a Lawvere theory can be defined using faithful cartesian clubs. Its internal language is the theory of cartesian multicategories.

• Lawvere theories and universal models
• theory of cartesian multicategories

References.

• Sequential multicategories (Pisani)
• Clones from Comonoids (Krahmer, Mahaman)