Spahn
Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads (history)

February 14, 2013