An enriched view on the extended finitary monad--Lawvere theory correspondence

DOI10.23638/LMCS-14(1:16)2018zbMath1419.18004arXiv1707.08694MaRDI QIDQ4637686

Richard Garner, A. John Power

Publication date: 25 April 2018

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

zbMATH Keywords

locally finitely presentable categoryLawvere theoryfinitary monadabsolute colimitsenrichment in a bicategory

Mathematics Subject Classification ID

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