The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (2007)

by Martin Hyland, John Power
Venue:Electronic Notes in Theoretical Computer Science 172