Spahn monads, operads, algebraic theories, substitution

  • 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.