Operadic definition of non-strict cells (Q2910141)

The purpose of this paper is to give a description of algebraic structures governing \(n\)-transformations between Batanin's \(\omega\)-categories, where the \(1\)-transformations represent weak functors between such \(\omega\)-categories, the \(2\)-transformations represent weak natural transformations, \dotsNEWLINENEWLINEThe crux of the author's approach is the definition of a colored version of the globular operads, which \textit{M. A. Batanin} defined as models of the composition schemes associated to \(\omega\)-categories [Adv. Math. 136, No. 1, 39--103 (1998; Zbl 0912.18006)]. The author precisely defines a sequence of contractible \(2\)-colored operads \(B^n\) extending Batanin's operad of \(\omega\)-categories \(K\), and defines the \(n\)-transformations associated to Batanin's \(\omega\)-categories, for any \(n\in\mathbb N^*\), in terms of the structure of an algebra over the \(2\)-colored operad \(B^n\).