Monads with arities and their associated theories

DOI10.1016/j.jpaa.2012.02.039zbMath1256.18004arXiv1101.3064OpenAlexW2107762852MaRDI QIDQ456883

Mark Weber, Paul-André Melliès, Clemens Berger

Publication date: 16 October 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1101.3064

zbMATH Keywords

algebraic theorieshomogeneous theorycategory of theoriesgeneric factorization systemglobular operadsmonad/theory equivalencesnerve theoremsimplicial nervesymmetric operads

Mathematics Subject Classification ID

Related Items (28)

Nominal lambda calculus: an internal language for FM-Cartesian closed categories ⋮ Graphs, hypergraphs, and properads ⋮ Freyd categories are enriched Lawvere theories ⋮ Classical control and quantum circuits in enriched category theory ⋮ Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory ⋮ Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness ⋮ Moment categories and operads ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Restricted Lie algebras via monadic decomposition ⋮ A homotopy coherent cellular nerve for bicategories ⋮ Modular operads and the nerve theorem ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Graded algebraic theories ⋮ Unnamed Item ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Twisted arrow categories, operads and Segal conditions ⋮ Graphical combinatorics and a distributive law for modular operads ⋮ From operator categories to higher operads ⋮ Higher cyclic operads ⋮ Monads and theories ⋮ Combinatorial structure of type dependency ⋮ Opetopic algebras I: Algebraic structures on opetopic sets ⋮ Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals ⋮ Homotopy-coherent algebra via Segal conditions ⋮ Unnamed Item ⋮ Towards a Formal Theory of Graded Monads ⋮ Dynamical systems and sheaves ⋮ The monadic tower for \(\infty\)-categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A cellular nerve for higher categories
• Yoneda structures on 2-categories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• The petit topos of globular sets
• Categories and cohomology theories
• The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category
• Iterated wreath product of the simplex category and iterated loop spaces
• Lawvere theories enriched over a general base
• The Eckmann-Hilton argument and higher operads
• On the duality between varieties and algebraic theories
• Adjoint functors and triples
• Classifying spaces and spectral sequences
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• The formal theory of monads
• Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Polynomial Functors and Trees
• Strong stacks and classifying spaces
• Accessible Categories: The Foundations of Categorical Model Theory
• Linear monads
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Monads with arities and their associated theories