加载中…
We prove a connectivity bound for maps of -operads of the form , and as a consequence, give an inductive way to construct -algebras in -categories. The result follows from a version of Eckmann-Hilton argument that takes into account both connectivity and arity of -operads. Along the way, we prove a technical Blakers-Massey type statement for algebras of coherent -operads.

生成讲解博客的中文版本

生成AI智能校验的中文版本