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

DOI10.23638/LMCS-14(1:16)2018zbMATH Open1419.18004arXiv1707.08694MaRDI QIDQ4637686FDOQ4637686

Authors: Richard Garner, John Power 

Publication date: 25 April 2018

Abstract: We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base. Our account explains this correspondence in terms of enriched category theory: the passage from a finitary monad to the corresponding Lawvere theory is exhibited as an instance of free completion of an enriched category under a class of absolute colimits. This extends work of the first author, who established the result in the special case of finitary monads and Lawvere theories over the category of sets; a novel aspect of the generalisation is its use of enrichment over a bicategory, rather than a monoidal category, in order to capture the monad--theory correspondence over all locally finitely presentable bases simultaneously.

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

Recommendations

• scientific article; zbMATH DE number 1373521
• Lawvere theories enriched over a general base
• Lawvere theories, finitary monads and Cauchy-completion
• Monads and theories
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base

zbMATH Keywords

Lawvere theorylocally finitely presentable categoryfinitary monadabsolute colimitsenrichment in a bicategory

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Metric spaces, generalized logic, and closed categories
• ENRICHED CATEGORIES AND COHOMOLOGY
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enrichment through variation
• Lawvere theories enriched over a general base
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base
• Lawvere theories, finitary monads and Cauchy-completion
• Diagrammatic characterisation of enriched absolute colimits

Cited In (7)

• Notions of Lawvere theory
• Monads and theories
• Enriched algebraic theories and monads for a system of arities
• Contravariance through enrichment
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• Lawvere theories enriched over a general base
• Lawvere theories, finitary monads and Cauchy-completion

This page was built for publication: An enriched view on the extended finitary monad-Lawvere theory correspondence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4637686)