nLab
2-Lawvere theory

Contents

Idea

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

See also at doctrine.

References

Last revised on August 4, 2013 at 18:13:51. See the history of this page for a list of all contributions to it.