Commutativity
| Main Authors: | Garner, Richard, López Franco, Ignacio |
|---|---|
| Format: | Article Journal |
| Terbitan: |
, 2016
|
| Online Access: |
https://zenodo.org/record/1230146 |
Daftar Isi:
- 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.