The Azimuth Project
Lawvere 2-theory

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