10 May
2010
10 May
'10
8:28 p.m.
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/ ]