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: |