Monads with arities and their associated theories

DOI10.1016/J.JPAA.2012.02.039MaRDI QIDQ456883zbMATH OpenOpenAlexFDO

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)

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 2125667 (Why is no real title available?)
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 3525361 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• scientific article; zbMATH DE number 3372161 (Why is no real title available?)
• A cellular nerve for higher categories
• A survey of definitions of \(n\)-category
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjoint functors and triples
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Categories and cohomology theories
• Classifying spaces and spectral sequences
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
• Iterated wreath product of the simplex category and iterated loop spaces
• Lawvere theories enriched over a general base
• Linear monads
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• On the duality between varieties and algebraic theories
• Polynomial functors and trees
• Strong stacks and classifying spaces
• The Eckmann-Hilton argument and higher operads
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• The formal theory of monads
• The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category
• The petit topos of globular sets
• Yoneda structures on 2-categories

Cited in

(35)

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

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)