-
Locally constant n-operads as higher braided operads
Authors:
M. A. Batanin
Abstract:
We introduce a category of locally constant $n$-operads which can be considered as the category of higher braided operads. For $n=1,2,\infty$ the homotopy category of locally constant $n$-operads is equivalent to the homotopy category of classical nonsymmetric, braided and symmetric operads correspondingly.
We introduce a category of locally constant $n$-operads which can be considered as the category of higher braided operads. For $n=1,2,\infty$ the homotopy category of locally constant $n$-operads is equivalent to the homotopy category of classical nonsymmetric, braided and symmetric operads correspondingly.
△ Less
Submitted 3 July, 2009; v1 submitted 25 April, 2008;
originally announced April 2008.
-
Symmetrisation of $n$-operads and compactification of real configuration spaces
Authors:
M. A. Batanin
Abstract:
It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint $Sym_1$ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmmetric operads are 1-operads and $Sym_1$ is the first term…
▽ More
It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint $Sym_1$ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmmetric operads are 1-operads and $Sym_1$ is the first term of the infinite series of left adjoint functors $Sym_n,$ called symmetrisation functors, from $n$-operads to symmetric operads with the property that the category of one object, one arrow, . . ., one $(n-1)$-arrow algebras of an $n$-operad $A$ is isomorphic to the category of algebras of $Sym_n(A)$. In this paper we consider some geometrical and homotopical aspects of the symmetrisation of $n$-operads. We construct an $n$-operadic analogue of Fulton-Macpherson operad and show that its symmetrisation is exactly the operad of Fulton and Macpherson. This implies that a space $X$ with an action of a ontractible $n$-operad has a natural structure of an algebra over an operad weakly equivalent to the little $n$-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension. Finally, we apply the techniques to the Swiss Cheese type operads introduced by Voronov and get analogous results in this case.
△ Less
Submitted 13 June, 2007; v1 submitted 2 June, 2006;
originally announced June 2006.
-
The Combinatorics of Iterated Loop Spaces
Authors:
M. A. Batanin
Abstract:
It is well known since Stasheff's work that 1-fold loop spaces can be described in terms of the existence of higher homotopies for associativity (coherence conditions) or equivalently as algebras of contractible non-symmetric operads. The combinatorics of these higher homotopies is well understood and is extremely useful.
For $n \ge 2$ the theory of symmetric operads encapsulated the correspond…
▽ More
It is well known since Stasheff's work that 1-fold loop spaces can be described in terms of the existence of higher homotopies for associativity (coherence conditions) or equivalently as algebras of contractible non-symmetric operads. The combinatorics of these higher homotopies is well understood and is extremely useful.
For $n \ge 2$ the theory of symmetric operads encapsulated the corresponding higher homotopies, yet hid the combinatorics and it has remain a mystery for almost 40 years. However, the recent developments in many fields ranging from algebraic topology and algebraic geometry to mathematical physics and category theory show that this combinatorics in higher dimensions will be even more important than the one dimensional case.
In this paper we are going to show that there exists a conceptual way to make these combinatorics explicit using the so called higher nonsymmetric $n$-operads.
△ Less
Submitted 20 January, 2003;
originally announced January 2003.
-
Computads and slices of operads
Authors:
M. A. Batanin
Abstract:
For a given $ω$-operad $A$ on globular sets we introduce a sequence of symmetric operads on $Set$ called slices of $A$ and show how the connected limit preserving properties of slices are related to the property of the category of $n$-computads of $A$ being a presheaf topos.
For a given $ω$-operad $A$ on globular sets we introduce a sequence of symmetric operads on $Set$ called slices of $A$ and show how the connected limit preserving properties of slices are related to the property of the category of $n$-computads of $A$ being a presheaf topos.
△ Less
Submitted 4 September, 2002;
originally announced September 2002.
-
The Eckman-Hilton argument and higher operads
Authors:
M. A. Batanin
Abstract:
The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2-c…
▽ More
The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2-category, then its $Hom$-set is a commutative monoid. A similar argument due to A.Joyal and R.Street shows that a one object, one arrow tricategory is `the same' as a braided monoidal category.
In this paper we begin to investigate how one can extend this argument to arbitrary dimension. We provide a simple categorical scheme which allows us to formalise the Eckman-Hilton type argument in terms of the calculation of left Kan extensions in an appropriate 2-category. Then we apply this scheme to the case of $n$-operads in the author's sense and classical symmetric operads. We demonstrate that there exists a functor of symmetrisation $Sym_n$ from a certain subcategory of $n$-operads to the category of symmetric operads such that the category of one object, one arrow, . . ., one $(n-1)$-arrow algebras of $A$ is isomorphic to the category of algebras of $Sym_n(A)$. Under some mild conditions, we present an explicit formula for $Sym_n(A)$ which involves taking the colimit over a remarkable categorical symmetric operad.
We will consider some applications of the methods developed to the theory of $n$-fold loop spaces in the second paper of this series.
△ Less
Submitted 13 June, 2007; v1 submitted 29 July, 2002;
originally announced July 2002.
