ASPECTS OF GLOBULAR HIGHER CATEGORY THEORY

DOI10.1017/S0004972714000288zbMATH Open1315.18015arXiv1211.2310MaRDI QIDQ5495474FDOQ5495474

Authors: Camell Kachour 

Publication date: 4 August 2014

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Abstract: It is well known that strict $omega$-categories, strict $omega$-functors, strict natural $omega$-transformations, and so on, form a strict $omega$-category. A similar property for weak $omega$-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 $omega$-operad which acts on the globular set of weak $omega$-categories, weak $omega$-functors, weak natural $omega$-transformations, and so on. Thus to prove the hypothesis it remains to prove that this $omega$-operad is contractible in Batanin's sense. To construct such an $omega$-operad we introduce more general technology and suggest a definition of $omega$-operad with the extit{fractal property}. If an $omega$-operad $B_P^0$ has this property then one can define a globular set of all higher $B_P^0$-transformations and, moreover, this globular set has a $B_P^0$-algebra structure.

Full work available at URL: https://arxiv.org/abs/1211.2310

zbMATH Keywords

\((\infty, n)\)-categorieshomotopy typeshigher categories\(\omega\)-operadsweak \(\infty\)-groupoidshigher weak \(\omega\)-transformations

Mathematics Subject Classification ID

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)

Cites Work

• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories

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)