Monads with arities and their associated theories

DOI10.1016/J.JPAA.2012.02.039zbMATH Open1256.18004arXiv1101.3064OpenAlexW2107762852MaRDI QIDQ456883FDOQ456883

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

Publication date: 16 October 2012

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

Abstract: After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic theories to a general correspondence between monads and theories for a given category with arities. As application we determine arities for the free groupoid monad on involutive graphs and recover the symmetric simplicial nerve characterisation of groupoids.

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

Recommendations

• Monads and theories
• Lawvere theories enriched over a general base
• Enriched algebraic theories and monads for a system of arities
• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• Categories as models on a suitable algebraic theory

zbMATH Keywords

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

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• Categories and cohomology theories
• Adjoint functors and triples
• Classifying spaces and spectral sequences
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
• Polynomial functors and trees
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Eckmann-Hilton argument and higher operads
• The formal theory of monads
• Title not available (Why is that?)
• A survey of definitions of \(n\)-category
• Iterated wreath product of the simplex category and iterated loop spaces
• The petit topos of globular sets
• Strong stacks and classifying spaces
• The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category
• Lawvere theories enriched over a general base
• On the duality between varieties and algebraic theories
• Title not available (Why is that?)
• Linear monads
• Title not available (Why is that?)

Cited In (32)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456883)