The Gray tensor product via factorisation (Q1681847)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The Gray tensor product via factorisation |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Gray tensor product via factorisation |
scientific article |
Statements
The Gray tensor product via factorisation (English)
0 references
24 November 2017
0 references
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.
0 references
monoidal category
0 references
factorisation system
0 references
Lawvere theory
0 references
