Commutativity
Category Theory
2016-01-07 v2
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.
Cite
@article{arxiv.1507.08710,
title = {Commutativity},
author = {Richard Garner and Ignacio López Franco},
journal= {arXiv preprint arXiv:1507.08710},
year = {2016}
}
Comments
48 pages; final journal version