加载中…
Let denote the little discs operad for and let be an -category all of whose mapping spaces are -truncated. We prove that when considering -monoids in , all coherence diagrams of arity are redundant. More generally, for an -operad we bound the arity of the relevant coherence diagrams in terms of the connectivity of certain operadic partition complexes associated to .

生成讲解博客的中文版本

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