Lawvere 2-theory (Rev #1)

A Lawvere 2-theory is a categorification of Lawvere theory, allowing theories for structured categories, for instance.

- Rory B. B. Lucyshyn-Wright, Enriched algebraic theories and monads for a system of arities,
*Theory and Applications of Categories*, Vol. 31, 2016, No. 5, pp 101-137. arXiv:1511.02920, TAC

category: mathematical methods