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

by Martin Hyland , John Power
Citations:14 - 0 self

Document Versions

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads –Martin Hyland, John Power — 2007
The category theoretic understanding of universal algebra: Lawvere theories and monads –Martin Hyland, John Power — Elect. Notes in Theor. Comp. Sci., 172:437–458