The Eckman-Hilton argument and higher operads

Details The Eckman-Hilton argument and higher operads The Eckman-Hilton argument and higher operads

2002-07-30

arxiv.org/abs/math/0207281v4

Adv. Math. (217)(2008), pp. 334-385.

Mathematics

Category Theory

57pp

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

The Eckman-Hilton argument and higher operads does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Eckman-Hilton argument and higher operads, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Eckman-Hilton argument and higher operads will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-357145