Operadic definition of non-strict cells

Publication date 7 September 2012

Published in Cahiers de Topologie et Géométrie Différentielle Catégoriques (Search for Journal in Brave)

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

Batanin's omega-categories colored operads globular sets weak \(n\)-categories

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Abstract: In [K. Kachour. D'efinition alg'ebrique des cellules non-strictes. Cahiers de Topologie et de G'eom'etrie Diff'erentielle Cat'egorique, 1:1-68, 2008] we pursue Penon's work in higher dimensional categories by defining non-strict infinity-functors, non-strict natural infinity-transformations, and so on, all that with Penon's frameworks i.e with the "'etirements cat'egoriques", where we have used an extension of this object, namely the "n-'etirements cat'egoriques" (n belong in N). In this paper we are pursuing Batanin's work in higher dimensional categories by defining nonstrict infinity-functors, non-strict natural infinity-transformations, and so on, using Batanin's frameworks i.e with the contractible operads, where we used an extension of this object, namely the globular colored contractible operads.

Review text

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\).

Recommendations

Cited in

(3)

This page was built for publication: Operadic definition of non-strict cells

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2910141)