Results 1  10
of
12
The EckmannHilton argument, higher operads and Enspaces, available at http://www.ics.mq.edu.au
 mbatanin/papers.html of Homotopy and Related Structures
"... The classical EckmannHilton 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 ..."
Abstract

Cited by 32 (5 self)
 Add to MetaCart
The classical EckmannHilton 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 2category, then its Homset 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 extend this argument to arbitrary dimension. We demonstrate that for an noperad A in the author’s sense there exists a symmetric operad S n (A) called the nfold suspension of A such that the
Iterated wreath product of the simplex category and iterated loop spaces
 Adv. Math
"... Abstract. Generalising Segal’s approach to 1fold loop spaces, the homotopy theory of nfold loop spaces is shown to be equivalent to the homotopy theory of reduced Θnspaces, where Θn is an iterated wreath product of the simplex category ∆. A sequence of functors from Θn to Γ allows for an alternat ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
Abstract. Generalising Segal’s approach to 1fold loop spaces, the homotopy theory of nfold loop spaces is shown to be equivalent to the homotopy theory of reduced Θnspaces, where Θn is an iterated wreath product of the simplex category ∆. A sequence of functors from Θn to Γ allows for an alternative description of the Segal spectrum associated to a Γspace. In particular, each EilenbergMacLane space has a canonical reduced Θnset model. The number of (n + d)dimensional cells of the resulting CWcomplex of type K(Z/2Z, n) is a generalised Fibonacci number.
Algebras of higher operads as enriched categories II
 In preparation
"... Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin to adapt the machinery of globular operads [1] to this task. We present a general construction of a tensor product on the ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin to adapt the machinery of globular operads [1] to this task. We present a general construction of a tensor product on the category of nglobular sets from any normalised (n + 1)operad A, in such a way that the algebras for A may be recaptured as enriched categories for the induced tensor product. This is an important step in reconciling the globular and simplicial approaches to higher category theory, because in the simplicial approaches one proceeds inductively following the idea that a weak (n + 1)category is something like a category enriched in weak ncategories. In this paper we reveal how such an intuition may be formulated in terms of globular operads.
Iterated bar complexes of Einfinity algebras and homology theories
, 2008
"... We proved in a previous article that the bar complex of an E ∞algebra inherits a natural E ∞algebra structure. As a consequence, a welldefined iterated bar construction B n (A) can be associated to any algebra over an E ∞operad. In the case of a commutative algebra A, our iterated bar constructi ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
We proved in a previous article that the bar complex of an E ∞algebra inherits a natural E ∞algebra structure. As a consequence, a welldefined iterated bar construction B n (A) can be associated to any algebra over an E ∞operad. In the case of a commutative algebra A, our iterated bar construction reduces to the standard iterated bar complex of A. The first purpose of this paper is to give a direct effective definition of the iterated bar complexes of E ∞algebras. We use this effective definition to prove that the nfold bar construction admits an extension to categories of algebras over Enoperads. Then we prove that the nfold bar complex determines the homology theory associated to the category of algebras over an Enoperad. In the case n = ∞, we obtain an isomorphism between the homology of an infinite bar construction and the usual Γhomology with trivial coefficients.
A∞ FUNCTORS FOR LAGRANGIAN CORRESPONDENCES
"... Abstract. We describe a construction of A ∞ functors associated to monotone Lagrangian correspondences, and a proof that the composition of A∞ functors is homotopic to the functor for the composition, in the case that the composition is smooth and embedded. 1. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We describe a construction of A ∞ functors associated to monotone Lagrangian correspondences, and a proof that the composition of A∞ functors is homotopic to the functor for the composition, in the case that the composition is smooth and embedded. 1.
A PREHISTORY OF nCATEGORICAL PHYSICS
, 2008
"... We begin with a chronology tracing the rise of symmetry concepts in physics, starting with groups and their role in relativity, and leading up to more sophisticated concepts from ncategory theory, which manifest themselves in Feynman diagrams and their higherdimensional generalizations: strings, me ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We begin with a chronology tracing the rise of symmetry concepts in physics, starting with groups and their role in relativity, and leading up to more sophisticated concepts from ncategory theory, which manifest themselves in Feynman diagrams and their higherdimensional generalizations: strings, membranes and spin foams.
THE TAMARKIN CELL MYSTERY
"... Abstract. In this note based on the author’s communication with M. Batanin, we study a cofibrant E∞operad generated by the FoxNeuwirth cells of the configuration space of points in the Euclidean space. We show that, below the ‘critical dimensions ’ in which ‘bad cells ’ exist, this operad is model ..."
Abstract
 Add to MetaCart
Abstract. In this note based on the author’s communication with M. Batanin, we study a cofibrant E∞operad generated by the FoxNeuwirth cells of the configuration space of points in the Euclidean space. We show that, below the ‘critical dimensions ’ in which ‘bad cells ’ exist, this operad is modeled by the geometry of the FultonMacPherson compactification of this configuration space. We analyze the Tamarkin bad cell and calculate the differential of the corresponding generator. We also describe a simpler, fourdimensional bad cell. We finish the paper by proving an auxiliary result giving a characterization, over integers, of free Lie algebras. Contents
ITERATED BAR COMPLEXES AND THE POSET OF PRUNED TREES ADDENDUM TO THE PAPER: “ITERATED BAR COMPLEXES OF EINFINITY ALGEBRAS AND HOMOLOGY THEORIES”
, 2010
"... Abstract. The purpose of these notes is to explain the relationship between Batanin’s categories of pruned trees and iterated bar complexes. This article is an appendix of the article [4]. Our purpose is to explain the relationship between Batanin’s categories of pruned trees (see [1, 2]) and iterat ..."
Abstract
 Add to MetaCart
Abstract. The purpose of these notes is to explain the relationship between Batanin’s categories of pruned trees and iterated bar complexes. This article is an appendix of the article [4]. Our purpose is to explain the relationship between Batanin’s categories of pruned trees (see [1, 2]) and iterated bar complexes and to revisit some constructions [4] in this formalism. The reader can use this appendix as an informal introduction to the constructions of [4]. These notes is the appendix part of a preliminary version of [4], extracted without changes from this article except that we have removed the appendix mark from paragraph numberings. Thus the reader can easily retrieve references to former versions of [4] in this manuscript. 1. Level trees and sequences of nondecreasing surjections. Our first aim is to make explicit the expansion of iterated tensor coalgebras (T c Σ) n (M), for a connected Σ∗module
Iterated bar complexes of E∞ algebras and homology theories
, 2010
"... We proved in a previous article that the bar complex of an E∞algebra inherits a natural E∞algebra structure. As a consequence, a welldefined iterated bar construction Bn (A) can be associated to any algebra over an E∞operad. In the case of a commutative algebra A, our iterated bar construction re ..."
Abstract
 Add to MetaCart
We proved in a previous article that the bar complex of an E∞algebra inherits a natural E∞algebra structure. As a consequence, a welldefined iterated bar construction Bn (A) can be associated to any algebra over an E∞operad. In the case of a commutative algebra A, our iterated bar construction reduces to the standard iterated bar complex of A. The first purpose of this paper is to give a direct effective definition of the iterated bar complexes of E∞algebras. We use this effective definition to prove that the nfold bar construction admits an extension to categories of algebras over Enoperads. Then we prove that the nfold bar complex determines the homology theory associated to the category of algebras over an Enoperad. In the case n = ∞, we obtain an isomorphism between the homology of an infinite bar construction and the usual Γhomology with trivial coefficients.