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

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

STANCULESCU Alexandru Emil

Year of publication 2013
Type Article in Periodical
Magazine / Source Applied Categorical Structures
MU Faculty or unit

Faculty of Science

Citation
Doi http://dx.doi.org/10.1007/s10485-012-9282-7
Field General mathematics
Keywords Gray tensor product
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.