Operadic Definition of Non-Stricts Cells

Abstract

In [K. Kachour. Définition algébrique des cellules non-strictes. Cahiers de Topologie et de Géométrie Différentielle Catégorique, 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 "étirements catégoriques", where we have used an extension of this object, namely the "n-étirements catégoriques" (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.

68 pages