高维Operad代数的自由积

高维范畴论中的一个未解决问题是系统构造2-范畴的Gray张量积的高维类比。本文延续[3]和[2]的工作，通过理解Gray的“小兄弟”——范畴的funny张量积的自然推广来推进研究。事实上，我们证明了对于任何可由Batanin[1]意义下的n-operad定义的高维范畴结构，存在一个类似的张量积，它在operad代数的范畴上构成一个对称幺半闭结构。