Commutativity

DOI10.1016/J.JPAA.2015.09.003zbMATH Open1375.18049arXiv1507.08710OpenAlexW4205983157MaRDI QIDQ899553FDOQ899553

Authors: Richard Garner, Ignacio López Franco 

Publication date: 30 December 2015

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories enriched over a normal duoidal category; using this, we re-find notions such as the commutativity of a finitary algebraic theory or a strong monad, the commuting tensor product of two theories, and the Boardman-Vogt tensor product of symmetric operads.

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

Recommendations

• Commutants for enriched algebraic theories and monads
• On the commutative algebra of categories
• On the canonical algebraic structure of a category
• Pseudo-commutative monads
• Generalized Enrichments of Categories for Operads

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20) Foundations, relations to logic and deductive systems (18A15) Equational categories (18C05)

Cites Work

• The geometry of iterated loop spaces
• Braided tensor categories
• Modelling environments in call-by-value programming languages.
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Monoidal functors, species and Hopf algebras
• Accessible Categories: The Foundations of Categorical Model Theory
• Premonoidal categories and notions of computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weakly distributive categories
• Notions of computation and monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combining algebraic effects with continuations
• A universal property of the convolution monoidal structure
• Two-dimensional monad theory
• Homotopy invariant algebraic structures on topological spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical semantics for arrows
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On closed categories of functors
• Title not available (Why is that?)
• Generalising monads to arrows
• Monads on symmetric monoidal closed categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coherence for tricategories
• Cover relations on categories
• Monoidal categories in, and linking, geometry and algebra
• Iterated monoidal categories
• Title not available (Why is that?)
• Monoidal bicategories and Hopf algebroids
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so
• Algebraic categories with few monoidal biclosed structures or none
• Formal category theory: Adjointness for 2-categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Centers and homotopy centers in enriched monoidal categories
• The cartesian closed bicategory of generalised species of structures
• Algebra valued functors in general and tensor products in particular
• Doubles for monoidal categories
• Lawvere theories, finitary monads and Cauchy-completion
• Free products of higher operad algebras
• Closed categories vs. closed multicategories
• A counterexample to tensorability of effects
• The Boardman-Vogt tensor product of operadic bimodules
• Title not available (Why is that?)

Cited In (14)

• Bifold algebras and commutants for enriched algebraic theories
• Monads on higher monoidal categories
• On the commutativity of jumps
• Medial commutativity
• Commutants for enriched algebraic theories and monads
• Duoidally enriched Freyd categories
• Commuting Involution
• Sweedler theory of monads
• Title not available (Why is that?)
• Graded braided commutativity in Hochschild cohomology
• Automata and coalgebras in categories of species
• A categorical approach to dynamical quantum groups
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
• Preserving commutativity

This page was built for publication: Commutativity

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