From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5775 Path: news.gmane.org!not-for-mail From: Urs Schreiber Newsgroups: gmane.science.mathematics.categories Subject: Re: bilax monoidal functors Date: Mon, 10 May 2010 12:28:39 +0200 Message-ID: References: Reply-To: Urs Schreiber NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1273539880 18109 80.91.229.12 (11 May 2010 01:04:40 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 11 May 2010 01:04:40 +0000 (UTC) To: John Baez Original-X-From: categories@mta.ca Tue May 11 03:04:37 2010 connect(): No such file or directory Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OBdtk-0001GM-IK for gsmc-categories@m.gmane.org; Tue, 11 May 2010 03:04:36 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OBdBW-0002LC-E5 for categories-list@mta.ca; Mon, 10 May 2010 21:18:54 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5775 Archived-At: > An n-tuply monoidal k-category is (conjecturally) a special sort of > (n+k)-category By the way, some progress on this is available from John Francis' and Jacob Lurie's discussion of k-tuply monoidal (n,1)-categories as those equipped with a little k-cubes action. In particular there is a proof of the stabilization hypothesis for (n,1)-categories this way, and an analog of the May recognition theorem for parameterized oo-groupoids, i.e. (oo,1)-sheaves. Some of this is summarized with pointers to references here: http://ncatlab.org/nlab/show/k-tuply+monoidal+n-category Best, Urs [For admin and other information see: http://www.mta.ca/~cat-dist/ ]