Lawvere theory

Last updated Apr 7, 2023

• Lawvere theories and universal models
• Cartesian multicategory
• Theory of cartesian multicategories