# The Azimuth Project Lawvere 2-theory (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

## Idea

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

# Examples

• There is a Lawvere 2-theory for pseudomonoids. The models of this theory in a 2-category $\mathcal{K}$ are pseudomonoids in $\mathcal{K}$.