Theories of analytic monads

DOI10.1017/S0960129513000868zbMATH Open1342.18006arXiv1204.2703MaRDI QIDQ5740404FDOQ5740404

Authors: Stanisław Szawiel, Marek Zawadowski 

Publication date: 26 July 2016

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

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.

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

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

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)

Cites Work

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

Cited In (18)

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

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)