The Baez-Dolan stabilization hypothesis states that for all $k \geq n+2$ a k-tuply monoidal n-category is “maximally monoidal”. In other words, for $k \geq n + 2$, a $k$-tuply monoidal $n$-category is the same thing as an $(n+2)$-tuply monoidal $n$-category. More precisely, the natural inclusion $k Mon n Cat \hookrightarrow (n+2) Mon n Cat$ is an equivalence of higher categories.
More generally, we can state a version for (n,k)-categories?: an $(m+2)$-tuply monoidal $(m,n)$-category is maximally monoidal.
An aspect of the proof of this when $n=1$ (i.e. that $m+2$-tuply monoidal $(m,1)$-categories are maximally monoidal) was demonstrated in
in terms of Tamsamani n-categories?.
A proof of the full statement in terms of quasi-categories is sketched in section 43.5 of
Probably the first full proof in print is given in
where it appears in example 1.2.3 as a direct consequence of a more general statement, corollary 1.1.10.
A proof of the general form for arbitrary $m,n,k$, using iterated $(\infty,1)$-categorical enrichment to define $(\infty,n)$-categories, is in
See also
Jacob Lurie, section 5.1.2 Higher Algebra
Michael Batanin, An operadic proof of Baez-Dolan stabilization hypothesis (arXiv:1511.09130)
Last revised on November 26, 2017 at 11:00:17. See the history of this page for a list of all contributions to it.