Monads with arities and their associated theories

DOI10.1016/j.jpaa.2012.02.039zbMath1256.18004arXiv1101.3064MaRDI 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 theories; homogeneous theory; category of theories; generic factorization system; globular operads; monad/theory equivalences; nerve theorem; simplicial nerve; symmetric operads

Mathematics Subject Classification ID

18C10: Theories (e.g., algebraic theories), structure, and semantics

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

18B40: Groupoids, semigroupoids, semigroups, groups (viewed as categories)

Related Items

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item