Formal aspects of Gray's tensor products of 2-categories

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	STANCULESCU Alexandru Emil
Rok publikování	2013
Druh	Článek v odborném periodiku
Časopis / Zdroj	Applied Categorical Structures
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Doi	https://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:	Algebraické metody v geometrii s potenciálem k aplikacím