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

DOI10.23638/LMCS-14(1:16)2018MaRDI QIDQ4637686zbMATH OpenFDO

Authors Richard Garner, John Power

Publication date 25 April 2018

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3843972 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 3781418 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Diagrammatic characterisation of enriched absolute colimits
• ENRICHED CATEGORIES AND COHOMOLOGY
• Enrichment through variation
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base
• Lawvere theories enriched over a general base
• Lawvere theories, finitary monads and Cauchy-completion
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Metric spaces, generalized logic, and closed categories

Cited in

(7)

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

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)