Dear Mike Perhaps my notes on the subject at http://www.math.mq.edu.au/~street/GrayTensor.pdf will help a bit. Ross www.math.mq.edu.au/~street Sent from my iPad On 27/05/2011, at 1:57 AM, Mike Stay <metaweta@gmail.com> wrote:
Has anyone "unpacked" the meaning of the Gray tensor product of strict 2-categories? I'm looking for something like "the Gray product C tensor D is the 2-category whose - objects are pairs (c,d) - morphisms are ... - 2-morphisms are ..."
My higher-category-fu isn't strong enough yet to grok the implicit definition 2Cat(C tensor D, E) ~= 2Cat(C, Ps(D,E)), where Ps(D,E) is the 2-category of 2-functors D->E, pseudonatural transformations, and modifications. -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]