From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6691 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories Subject: Re: Gray tensor product Date: Fri, 27 May 2011 17:56:24 +0100 Message-ID: Reply-To: Ronnie Brown NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1306525246 24273 80.91.229.12 (27 May 2011 19:40:46 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 27 May 2011 19:40:46 +0000 (UTC) Cc: categories To: Mike Stay Original-X-From: majordomo@mlist.mta.ca Fri May 27 21:40:41 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.30]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QQ2tl-0004tz-0N for gsmc-categories@m.gmane.org; Fri, 27 May 2011 21:40:41 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:35044) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QQ2qp-0000X4-Jt; Fri, 27 May 2011 16:37:39 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QQ2ql-0003qN-JX for categories-list@mlist.mta.ca; Fri, 27 May 2011 16:37:35 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6691 Archived-At: There are quite a few paper on this particularly by Sjoerd Crans. Part of the problem is that a definition of tensor product will always be in terms of a structure generated by c \tens d subject to certain relations, so it will not necessarily be easy to get at the elements of the tensor product. Hence the exponential law which you quote shows that it is more explicit to give the elements of Ps(D,E), and these are in each dimension families of functions satisfying certain conditions. It is actually easier, I feel, to do this cubically, as is done explicitly for the omega-case in Section 10 of Al-Agl, F.~A., Brown, R. and Steiner, R. {Multiple categories: the equivalence of a globular and a cubical approach}. {Adv. Math.} \textbf{170}~(1) (2002) 71--118. which gives an explicit description of n-fold left homotopy in that cubical context, and so in principle a translation to the globular case. In the omega-groupoid case it is possible to say more: see the book project, and references there, advertised on http://pages.bangor.ac.uk/~mas010/nonab-a-t.html Ronnie Brown On 27/05/2011 00:57, Mike Stay 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]