The Azimuth Project
Enriched Lawvere theory

References