×

Iterated monoidal categories. (English) Zbl 1030.18006

The most fundamental space associated to a small category is its classifying space. This space is of fundamental interest in algebraic topology and has significant homotopy theoretic applications. By “enriching” the category, it is possible to obtain better properties for its classifying space. In this context, it has long been observed that a monoidal category gives rise to a space with multiplication and in fact to a loop space. This observation due to Stasheff has been an inexhaustible source of inspiration to homotopy theorists. It has also brought significant new understanding to the coherence theory of categories as pursued by MacLane in the early sixties.
The next step forward, taken mainly by Segal, was to see that a symmetric monoidal category has classifying space an infinite loop space (after group completion). This was instrumental to Quillen’s definition of higher algebraic \(K\)-theory for example. Fiedorowicz, by relaxing the symmetry condition (\(\tau^2=1\)) in the monoidal category and using suitable “braiding” instead, showed that the newly obtained “braided” monoidal category has classifying space a second-fold loop space. Such a criterion has been useful for example in showing that the group completion of certain monoids of mapping class groups of surfaces are second-fold loop spaces.
The paper under review takes the daunting task of providing an analog to Stasheff and Fiedorowicz’s results for all \(n\)-fold loop spaces, \(n>2\), and then giving a categorical analog of the Boardman and Vogt little \(n\)-cube operad acting on \(n\)-fold loop spaces.
First of all the authors introduce the notion of an \(n\)-fold monoidal category which is one which supports \(n\) distinct strictly associative multiplications, each with a strict unit and affording a list of compatibility relations. They then show that the group completion of the nerve of such a category is precisely an \(n\)-fold loop space. The proof rests on techniques of Thomason and Street, and, similar to a construction of Dunn, on an iteration of Segal’s method for obtaining a single loop space out of a “special \(\Delta\)-space”. This part constitutes about a fifth of the paper.
Next, the authors introduce free \(n\)-fold monoidal categories, defined on small categories, and then construct an associated operad which acts on nerves of the \(n\)-fold monoidal categories they defined earlier. This operad \({\mathbf M}_n:=\{M_n(k)\}_{k\geq 0}\) has a simple combinatorial description whereby each component \(M_n(k)\) can be realized as some full subcategory of a free \(n\)-monoidal category on a finite set of \(k\) elements (viewed as a category with trivial morphisms). The monads on this operad are precisely the free \(n\)-fold monoidal categories. An emphasis is put on comparing the (nerve) operad (also denoted by \({\mathbf M}_n\)) to the preoperad of permutahedra introduced by Milgram in the sixties (or slight variants of it), and to showing that both are equivalent through an inclusion of preoperads.
The next main theorem this paper proves is that the operad \({\mathbf M}_n\) is equivalent through a chain of operad maps to the little \(n\)-cube operad. Since \({\mathbf M}_n\) acts on \(n\)-fold monoidal categories, this theorem gives a definite way of showing that the group completion of the nerves of such categories are \(n\)-fold loop spaces.
A coherence theorem for \(n\)-fold monoidal categories is also stated and proved in this paper. It gives necessary and sufficient conditions for the existence of morphisms between objects of \({\mathbf M}_n\) and shows uniqueness when such a morphism exists. The proof runs through a mighty twenty pages and is fairly technical. The remaining and last part of the paper deals in details with Milgram’s preoperad construction and its relation to \(n\)-monoidal categories.

MSC:

18D10 Monoidal, symmetric monoidal and braided categories (MSC2010)
55U35 Abstract and axiomatic homotopy theory in algebraic topology
18D50 Operads (MSC2010)
55P47 Infinite loop spaces
19D23 Symmetric monoidal categories
PDF BibTeX XML Cite
Full Text: DOI arXiv

References:

[1] Barrett, M.G.; Eccles, P.J., γ+-structures I, II, III, Topology, 13, 25-45, 113-126, 199-207, (1974)
[2] Berger, C., Opérades cellulaires et espaces de lacets itérés, Ann. inst. Fourier Grenoble, 46, 4, 1125-1157, (1996) · Zbl 0853.55007
[3] Berger, C., Combinatorial models for real configuration spaces and En operads, Contemp. math., 202, 37-52, (1997) · Zbl 0860.18001
[4] Boardman, J.M.; Vogt, R.M., Homotopy invariant algebraic structures on topological spaces, Lecture notes in mathematics, Vol. 347, (1973), Springer Berlin · Zbl 0285.55012
[5] Charney, R.; Davis, M.W., Finite K(π,1)’s for Artin groups, (), 110-124 · Zbl 0930.55006
[6] Cohen, F.R.; May, J.P.; Taylor, L.R., Splitting of certain spaces CX, Math. proc. Cambridge philos. soc., 84, 465-496, (1978) · Zbl 0408.55006
[7] Dunn, G., Tensor product of operads and iterated loop spaces, J. pure appl. algebra, 50, 237-258, (1988) · Zbl 0672.55004
[8] Edwards, D.A.; Hastings, H.M., Čech and Steenrod homotopy theories with applications to geometric topology, Lecture notes in mathematics, Vol. 542, (1976), Springer Berlin · Zbl 0334.55001
[9] Z. Fiedorowicz, The symmetric bar construction, preprint.
[10] E. Getzler, J.D.S. Jones, Operads, homotopy algebra, and iterated integrals for double loop spaces, preprint.
[11] Joyal, A.; Street, R., Braided tensor categories, Adv. in math., 102, 20-78, (1993) · Zbl 0817.18007
[12] Kassel, C., Quantum groups, (1994), Springer Berlin
[13] MacLane, S., Categorical algebra, Bull. amer. math. soc., 71, 40-106, (1965) · Zbl 0161.01601
[14] May, J.P., The geometry of iterated loop spaces, Lecture notes in mathematics, Vol. 271, (1972), Springer Berlin · Zbl 0244.55009
[15] May, J.P., E∞ spaces, group completions, and permutative categories, London lecture notes in math., 11, 61-93, (1974) · Zbl 0281.55003
[16] McDuff, D.; Segal, G., Homology fibrations and the “group completion” theorem, Invent. math., 31, 279-284, (1976) · Zbl 0306.55020
[17] Milgram, R.J., Iterated loop spaces, Ann. math., 84, 386-403, (1966) · Zbl 0145.19901
[18] Milgram, R.J., Unstable homotopy from the stable point of view, Lecture notes in mathematics, Vol. 368, (1974), Springer Berlin · Zbl 0274.55015
[19] D. Quillen, Higher Algebraic K-theory I, Lecture Notes in Mathematics, Vol. 341, Springer, Berlin, 1973, pp. 85-147. · Zbl 0292.18004
[20] Rourke, C.P.; Sanderson, B.J., Introduction to piecewise-linear topology, (1972), Springer Berlin · Zbl 0254.57010
[21] Salvetti, M., Topology of the complement of real hyperplanes in \(C\^{}\{n\}\), Invent. math., 88, 603-618, (1987) · Zbl 0594.57009
[22] Segal, G., Categories and cohomology theories, Topology, 13, 293-312, (1974) · Zbl 0284.55016
[23] Smith, J.H., Simplicial group models for \(Ω\^{}\{n\}S\^{}\{n\}(X)\), Israel J. math., 66, 330-350, (1989) · Zbl 0723.55004
[24] Stasheff, J.D., Homotopy associativity of H-spaces I, Trans. amer. math. soc., 108, 275-292, (1963) · Zbl 0114.39402
[25] Street, R., Two constructions on Lax functors, Cahiers topologie geom. differentielle, 13, 217-264, (1972) · Zbl 0252.18008
[26] Thomason, R.W., Homotopy colimits in the category of small categories, Math. proc. Cambridge philos. soc., 85, 91-109, (1979) · Zbl 0392.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.