Lawvere theories, finitary monads and Cauchy-completion

DOI10.1016/j.jpaa.2014.02.018zbMath1329.18008arXiv1307.2963MaRDI QIDQ2451739

Richard Garner

Publication date: 4 June 2014

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

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

zbMATH Keywords

equational theory; enriched category; Lawvere theory; Kan extension; algebraic functor; finitary monad; abstract clone; weighted colimit; Cauchy-completion; finite cardinal; Gentzen multicategory; monoidal action; tensored category

Mathematics Subject Classification ID

18C10: Theories (e.g., algebraic theories), structure, and semantics

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

18A25: Functor categories, comma categories

18D20: Enriched categories (over closed or monoidal categories)

Related Items

Contravariance through enrichment, An enriched view on the extended finitary monad--Lawvere theory correspondence, Commutativity, Ultrafilters, finite coproducts and locally connected classifying toposes, Morita equivalence for many-sorted enriched theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Monads with arities and their associated theories
• Notions of Lawvere theory
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Sheaves on sites as Cauchy-complete categories
• Representable multicategories
• Elements of a theory of algebraic theories
• Lawvere theories enriched over a general base
• Kan extensions in enriched category theory
• The formal theory of monads
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• ENRICHED CATEGORIES AND COHOMOLOGY
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Metric spaces, generalized logic, and closed categories
• The cartesian closed bicategory of generalised species of structures
• Categorical algebra
• Some Word-Problems