Jens Seeber on Lawvere theories

Tags: Cartesian multicategory, Cartesian bicategory.