|
|||||
|
|
Formal aspects of Gray’s tensor products of 2-categories |
|
| Authors: | Alexandru Emil Stanculescu |
| Institution: | 1. Department of Mathematics and Statistics, Masarykova Univerzita, Kotlá?ská 2, 611 37, Brno, Czech Republic |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |