Projects per year
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.
FingerprintDive into the research topics of 'Commutativity'. Together they form a unique fingerprint.
- 2 Finished
1/01/13 → 31/12/16