The Azimuth Project
Lawvere theory

Idea

A Lawvere theory is a categorical tool for reasoning about algebraic theories.

References