Informace o publikaci
Formal aspects of Gray's tensor products of 2-categories
| Autoři | |
|---|---|
| Rok publikování | 2013 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Applied Categorical Structures |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.doi.org/10.1007/s10485-012-9282-7 |
| Obor | Obecná matematika |
| Klíčová slova | Gray tensor product |
| Popis | The category of small 2-categories has two monoidal structures due to John Gray: one biclosed and one closed. We propose a formalisation of the construction of the right internal and internal homs of these monoidal structures. |
| Související projekty: |