Monads and theories

DOI10.1016/J.AIM.2019.05.016zbMATH Open1434.18003arXiv1805.04346OpenAlexW2801660850MaRDI QIDQ2001598FDOQ2001598

Richard Garner, John Bourke

Publication date: 10 July 2019

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Given a locally presentable enriched category $mathcalE$ together with a small dense full subcategory $mathcalA$ of arities, we study the relationship between monads on $mathcalE$ and identity-on-objects functors out of $mathcalA$, which we call $mathcalA$-pretheories. We show that the natural constructions relating these two kinds of structure form an adjoint pair. The fixpoints of the adjunction are characterised as the $mathcalA$-nervous monads---those for which the conclusions of Weber's nerve theorem hold---and the $mathcalA$-theories, which we introduce here. The resulting equivalence between $mathcalA$-nervous monads and $mathcalA$-theories is best possible in a precise sense, and extends almost all previously known monad--theory correspondences. It also establishes some completely new correspondences, including one which captures the globular theories defining Grothendieck weak $omega$-groupoids. Besides establishing our general correspondence and illustrating its reach, we study good properties of $mathcalA$-nervous monads and $mathcalA$-theories that allow us to recognise and construct them with ease. We also compare them with the monads with arities and theories with arities introduced and studied by Berger, Melli`es and Weber.

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

zbMATH Keywords

monadLawvere theorynerve

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coequalizers and free triples
• Classifying spaces and spectral sequences
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Monads with arities and their associated theories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Chain-complete posets and directed sets with applications
• A cellular nerve for higher categories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Notions of Lawvere theory
• Kan extensions in enriched category theory
• The petit topos of globular sets
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Lawvere theories enriched over a general base
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• On the monadicity of finitary monads
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Induced functors on categories of algebras

Cited In (21)

• Title not available (Why is that?)
• Discrete equational theories
• Graphical combinatorics and a distributive law for modular operads
• Title not available (Why is that?)
• Comprehending monads
• Segal conditions for generalized operads
• Homotopy-coherent algebra via Segal conditions
• Smart Choices and the Selection Monad
• Two-dimensional monad theory
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Iterated algebraic injectivity and the faithfulness conjecture
• The Isbell monad
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A categorical view of varieties of ordered algebras
• The Lemaître primordial atom and the monad method
• Metric monads
• Presentations and algebraic colimits of enriched monads for a subcategory of arities

This page was built for publication: Monads and theories

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