Commutants for enriched algebraic theories and monads

DOI10.1007/S10485-017-9503-1zbMATH Open1494.18004arXiv1604.08569OpenAlexW2963188897MaRDI QIDQ722250FDOQ722250

Rory B. B. Lucyshyn-Wright

Publication date: 23 July 2018

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: We define and study a notion of $extitcommutant$ for $mathcalV$-enriched $mathcalJ$-algebraic theories for a system of arities $mathcalJ$, recovering the usual notion of commutant or centralizer of a subring as a special case alongside Wraith's notion of commutant for Lawvere theories as well as a notion of commutant for $mathcalV$-monads on a symmetric monoidal closed category $mathcalV$. This entails a thorough study of commutation and Kronecker products of operations in $mathcalJ$-theories. In view of the equivalence between $mathcalJ$-theories and $mathcalJ$-ary monads we reconcile this notion of commutation with Kock's notion of commutation of cospans of monads and, in particular, the notion of commutative monad. We obtain notions of $mathcalJ$-$extitarycommutant$ and $extitabsolutecommutant$ for $mathcalJ$-ary monads, and we show that for finitary monads on Set the resulting notions of finitary commutant and absolute commutant coincide. We examine the relation of the notion of commutant to both the notion of $extitcodensitymonad$ and the notion of $extitalgebraicstructure$ in the sense of Lawvere.

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

zbMATH Keywords

monaduniversal algebracommutantcommutationalgebraic theoryenriched category theorycommutative algebraic theorycommutative monad

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Algebraic structures (08A99) Enriched categories (over closed or monoidal categories) (18D20) Equational categories (18C05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monads on symmetric monoidal closed categories
• Monomorphisms, Epimorphisms, and Pull-Backs
• Kan extensions in enriched category theory
• Universal algebra in a closed category
• On Double Dualization Monads.
• Enriched algebraic theories and monads for a system of arities
• Selected papers on algebra and topology. Ed. by Gian-Carlo Rota and Joseph S. Oliveira
• Functional distribution monads in functional-analytic contexts
• Convex spaces, affine spaces, and commutants for algebraic theories
• Rings with the double centralizer property
• Commutativity

Cited In (6)

• Bifold algebras and commutants for enriched algebraic theories
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• Functional distribution monads in functional-analytic contexts
• Combination problems for commutative/monoidal theories or how algebra can help in equational unification
• Locally bounded enriched categories
• Presentations and algebraic colimits of enriched monads for a subcategory of arities

This page was built for publication: Commutants for enriched algebraic theories and monads

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