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}.

References