Commutativity

DOI10.1016/J.JPAA.2015.09.003MaRDI QIDQ899553zbMATHOpenAlexFDO

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)

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

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)

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.

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

Cites work

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

Cited in

(15)

• Commuting Involution
• Sweedler theory of monads
• On the commutativity of jumps
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
• On the commutative algebra of categories
• scientific article; zbMATH DE number 3935283 (Why is no real title available?)
• Preserving commutativity
• Duoidally enriched Freyd categories
• Medial commutativity
• Commutants for enriched algebraic theories and monads
• A categorical approach to dynamical quantum groups
• Bifold algebras and commutants for enriched algebraic theories
• Monads on higher monoidal categories
• Graded braided commutativity in Hochschild cohomology
• Automata and coalgebras in categories of species

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)