nLab 2-Lawvere theory

Idea

The notion of 2-Lawvere theory or Lawvere 2-theory is the categorification of Lawvere theory.

See also at doctrine.

Related concepts

• algebraic theory / Lawvere theory / 2-Lawvere theory (∞,1)-algebraic theory

enriched Lawvere theory

• monad / 2-monad / (∞,1)-monad

• operad / (∞,1)-operad

References

• Noson Yanofsky, The syntax of coherence, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 2000. Cahiers pdf, arXiv

• John Gray, 2-algebraic theories and triples, in Colloques sur l’algebre des categories. Amiens 1973. Resumes des conferences vol. 14, pp. 178–180.

• John Bourke, Nick Gurski, The Gray tensor product via factorisation, Applied Categorical Structures, Volume 25, Issue 4, pp 603-624, (2017). ACS, arXiv

• Jonathan Cohen?, Coherence for rewriting 2-theories, PhD thesis, Australian National University, (2009). arXiv

• John Power, Stephen Lack, Lawvere 2-theories, 2007. (slides)

• Noson Yanofsky, Coherence, Homotopy and 2-Theories, K-Theory 23: Pgs 203 - 235. (2001) (arXiv:math.CT/0007033)