An enriched view on the extended finitary monad--Lawvere theory correspondence
From MaRDI portal
Publication:4637686
DOI10.23638/LMCS-14(1:16)2018zbMath1419.18004arXiv1707.08694MaRDI QIDQ4637686
Publication date: 25 April 2018
Full work available at URL: https://arxiv.org/abs/1707.08694
locally finitely presentable categoryLawvere theoryfinitary monadabsolute colimitsenrichment in a bicategory
Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (2)
String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Contravariance through enrichment
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Enrichment through variation
- Lawvere theories enriched over a general base
- Lawvere theories, finitary monads and Cauchy-completion
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- ENRICHED CATEGORIES AND COHOMOLOGY
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Metric spaces, generalized logic, and closed categories
- Diagrammatic characterisation of enriched absolute colimits
This page was built for publication: An enriched view on the extended finitary monad--Lawvere theory correspondence