$ω$-Operads of Coendomorphisms for Higher Structures

Abstract

It is well known that strict $ω$-categories, strict $ω$-functors, strict natural $ω$-transformations, and so on, form a strict $ω$-category. A similar property for weak $ω$-categories is one of the main hypotheses in higher category theory in the globular setting. In this paper we show that there is a natural globular $ω$-operad which acts on the globular set of weak $ω$-categories, weak $ω$-functors, weak natural $ω$-transformations, and so on. Thus to prove the hypothesis it remains to prove that this $ω$-operad is contractible in Batanin's sense. To construct such an $ω$-operad we introduce more general technology and suggest a definition of $ω$-operad with the \textit{fractal property}. If an $ω$-operad $B^{0}_{P}$ has this property then one can define a globular set of all higher $B^{0}_{P}$-transformations and, moreover, this globular set has a $B^{0}_{P}$-algebra structure.