Informace o publikaci
The Gray tensor product via factorisation
| Autoři | |
|---|---|
| Rok publikování | 2017 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Applied Categorical Structures |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://link.springer.com/article/10.1007/s10485-016-9467-6 |
| Doi | http://dx.doi.org/10.1007/s10485-016-9467-6 |
| Obor | Obecná matematika |
| Klíčová slova | Monoidal category; Factorisation system; Lawvere theory |
| Přiložené soubory | |
| Popis | We discuss the folklore construction of the Gray tensor product of 2-categories as obtained by factoring the map from the funny tensor product to the cartesian product. We show that this factorisation can be obtained without using a concrete presentation of the Gray tensor product, but merely its defining universal property, and use it to give another proof that the Gray tensor product forms part of a symmetric monoidal structure. The main technical tool is a method of producing new algebra structures over Lawvere 2-theories from old ones via a factorisation system. |