Theories of analytic monads

DOI10.1017/S0960129513000868MaRDI QIDQ5740404zbMATH OpenFDO

Authors Stanisław Szawiel, Marek Zawadowski

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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)

Abstract: We characterize the equational theories and Lawvere theories that correspond to the categories of analytic and polynomial monads on Set, and hence also the categories of the symmetric and rigid operads in Set. We show that the category of analytic monads is equivalent to the category of regular-linear theories. The category of polynomial monads is equivalent to the category of rigid theories, i.e. regular-linear theories satisfying an additional global condition. This solves a problem A. Carboni and P. T. Johnstone. The Lawvere theories corresponding to these monads are identified via some factorization systems.

Recommendations

• Monads of regular theories
• On the monadicity of finitary monads
• Lawvere theories, finitary monads and Cauchy-completion
• Monads and theories
• Monads with arities and their associated theories

Cites work

• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• Categories of continuous functors. I
• Coequalizers and free triples
• Connected limits, familial representability and Artin glueing
• Corrigenda for Connected limits, familial representability and Artin glueing
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• On localization and stabilization for factorization systems
• On weak higher-dimensional categories. I. 2
• On weak higher-dimensional categories. I: Part 3
• The formal theory of monoidal monads
• The web monoid and opetopic sets

Cited in

(19)

• The formal theory of multimonoidal monads
• The monads of classical algebra are seldom weakly Cartesian
• Monadic monadic second order logic
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Monads of regular theories
• Equational theories and monads from polynomial Cayley representations
• Generalized Płonka sums and products
• Analytic monoids versus abstract monoids
• Shapely monads and analytic functors
• scientific article; zbMATH DE number 7692241 (Why is no real title available?)
• Analytic calculi for monadic PNmatrices
• Homotopy theory of algebras of substitudes and their localisation
• Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category
• Analytic functors and weak pullbacks
• Lawvere theories, finitary monads and Cauchy-completion
• ∞-Operads as Analytic Monads
• Homotopy theory for algebras over polynomial monads
• Correction to: ``Injective hulls for ordered algebras
• Actads

This page was built for publication: Theories of analytic monads

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