The Azimuth Project
Lawvere 2-theory (Rev #1)

Idea

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

References