$\omega$-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 has this property then one can define a globular set of all higher -transformations and, moreover, this globular set has a -algebra structure.
Cite
@article{arxiv.1211.2310,
title = {$\omega$-Operads of Coendomorphisms for Higher Structures},
author = {Kachour Camell},
journal= {arXiv preprint arXiv:1211.2310},
year = {2012}
}
Comments
53 pages