ASPECTS OF GLOBULAR HIGHER CATEGORY THEORY
From MaRDI portal
Publication:5495474
\((\infty, n)\)-categorieshomotopy typeshigher categories\(\omega\)-operadsweak \(\infty\)-groupoidshigher weak \(\omega\)-transformations
Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical structures (18D99) Classification of homotopy type (55P15) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Second- and higher-order model theory (03C85)
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 extit{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.
Cites work
This page was built for publication: ASPECTS OF GLOBULAR HIGHER CATEGORY THEORY
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5495474)