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

Revised on August 4, 2013 18:13:51 by Urs Schreiber (89.204.135.190)