math overflow, Relation between monads, operads and algebraic theories, web
Max Kelly, on the operads of J.P. May
Tom Leinster, Higher Operads Higher Categories
Nishizawa and Power, Lawvere theories enriched over a general base, JPAA 213, 2009
Linton’s An outline of functorial semantics, LNM 80, 1969
Cruttwell and Shulman’s A unified framework for generalized multicategories, TAC 24(21), 2010,
Clemens Berger, Paul-André Melliès, Mark Weber - Monads with arities and their associated theories arXiv:1101.3064 [math.CT]
Martin Hyland, John Power - The category theoretic understanding of universal algebra: Lawvere theories and monads - Electronic Notes in Theoretical Computer Science pdf
Martin Hyland, classical lambda calculus in modern dress, arXiv:1211.5762 [math.CT]
Created on January 9, 2013 at 04:09:55. See the history of this page for a list of all contributions to it.