Enriched algebraic theories and monads for a system of arities

MaRDI QIDQ2808141zbMATH OpenFDO

Authors Rory B. B. Lucyshyn-Wright

Publication date 26 May 2016

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.02920, http://www.emis.de/journals/TAC/volumes/31/5/31-05abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

ringmonad2-categoryenriched categoryEilenberg-Moore algebraalgebraic theoryKan extensionsymmetric monoidal closed categorycotensorenriched Lawvere theoryfinitely presentable objectKleisli bicategoryweighted (co)limit

Mathematics Subject Classification ID

Categories of algebras (08C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20) Equational categories (18C05) Varieties (08B99)

Abstract: Under a minimum of assumptions, we develop in generality the basic theory of universal algebra in a symmetric monoidal closed category $mathcalV$ with respect to a specified system of arities $j:mathcalJhookrightarrowmathcalV$. Lawvere's notion of algebraic theory generalizes to this context, resulting in the notion of single-sorted $mathcalV$-enriched $mathcalJ$-cotensor theory, or $mathcalJ$-theory for short. For suitable choices of $mathcalV$ and $mathcalJ$, such $mathcalJ$-theories include the enriched algebraic theories of Borceux and Day, the enriched Lawvere theories of Power, the equational theories of Linton's 1965 work, and the $mathcalV$-theories of Dubuc, which are recovered by taking $mathcalJ=mathcalV$ and correspond to arbitrary $mathcalV$-monads on $mathcalV$. We identify a modest condition on $j$ that entails that the $mathcalV$-category of $mathcalT$-algebras exists and is monadic over $mathcalV$ for every $mathcalJ$-theory $mathcalT$, even when $mathcalT$ is not small and $mathcalV$ is neither complete nor cocomplete. We show that $j$ satisfies this condition if and only if $j$ presents $mathcalV$ as a free cocompletion of $mathcalJ$ with respect to the weights for left Kan extensions along $j$, and so we call such systems of arities eleutheric. We show that $mathcalJ$-theories for an eleutheric system may be equivalently described as (i) monads in a certain one-object bicategory of profunctors on $mathcalJ$, and (ii) $mathcalV$-monads on $mathcalV$ satisfying a certain condition. We prove a characterization theorem for the categories of algebras of $mathcalJ$-theories, considered as $mathcalV$-categories $mathcalA$ equipped with a specified $mathcalV$-functor $mathcalAightarrowmathcalV$.

Recommendations

• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• scientific article; zbMATH DE number 1373521
• Lawvere theories enriched over a general base
• Commutants for enriched algebraic theories and monads
• An enriched view on the extended finitary monad-Lawvere theory correspondence

Cited in

(20)

• Bifold algebras and commutants for enriched algebraic theories
• Monads with arities and their associated theories
• Commutants for enriched algebraic theories and monads
• Algebraic theories and commutativity in a sheaf topos
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• Monads and theories
• Morita equivalence for many-sorted enriched theories
• Functional distribution monads in functional-analytic contexts
• Convex spaces, affine spaces, and commutants for algebraic theories
• Graded algebraic theories
• Elements of a theory of algebraic theories
• Locally bounded enriched categories
• The formal theory of relative monads
• Metric monads
• Equational theories as congruences of enriched monoids
• Lawvere theories enriched over a general base
• Lawvere theories, finitary monads and Cauchy-completion
• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• On the concrete representation of discrete enriched abstract clones

This page was built for publication: Enriched algebraic theories and monads for a system of arities

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