Lawvere theories, finitary monads and Cauchy-completion
DOI10.1016/j.jpaa.2014.02.018zbMath1329.18008arXiv1307.2963MaRDI QIDQ2451739
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
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
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
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