The Gray tensor product via factorisation (Q1681847): Difference between revisions

The Gray tensor product of a pair of 2-categories \((A, B)\) is a representing object for the functor 2-Cat\((A, \mathrm{Ps}(B,-)):2\)-Cat \(\to\) Set. Usually this object is constructed by factoring the map from the funny tensor product to the Cartesian product, using a description by generators and relations. In this paper it is proved that the functor \(\mathrm{Ps}(B,-)\) has always an adjoint, hence the Gray tensor functor can be defined by using its universal property.