Lawvere theories, finitary monads and Cauchy-completion

DOI10.1016/j.jpaa.2014.02.018zbMath1329.18008arXiv1307.2963OpenAlexW2115608263MaRDI 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 theoryenriched categoryLawvere theoryKan extensionalgebraic functorfinitary monadabstract cloneweighted colimitCauchy-completionfinite cardinalGentzen multicategorymonoidal actiontensored category

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) Functor categories, comma categories (18A25) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (5)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lawvere theories, finitary monads and Cauchy-completion