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

References