Formal aspects of Gray's tensor product of 2-categories
Category Theory
2012-03-15 v3
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.
Cite
@article{arxiv.1003.1994,
title = {Formal aspects of Gray's tensor product of 2-categories},
author = {Alexandru E. Stanculescu},
journal= {arXiv preprint arXiv:1003.1994},
year = {2012}
}
Comments
Title has been changed, major revisions and corrections, accepted in Appl. Categ. Str