The category theoretic understanding of universal algebra: Lawvere theories and monads (0)

by Martin Hyland, John Power
Venue:Electron. Notes Theor. Comput. Sci