nLab 2-Lawvere theory

Contents

Contents

Idea

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

See also at doctrine.

enriched Lawvere theory

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)

Last revised on December 3, 2023 at 22:09:10. See the history of this page for a list of all contributions to it.