Joyal and Street note in their paper on braided monoidal categories [Braided tensor categories, Advances in Math. 102(1993) 20–78] that the 2–category V–Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception that they mention is the case in which V is symmetric, which leads to V–Cat being symmetric as well. The symmetry in V–Cat is based upon the symmetry of V. The motivation behind this paper is in part to describe how these facts relating V and V–Cat are in turn related to a categorical analogue of topological delooping. To do so I need to pass to a more general setting than braided and symmetric categories — in fact the k–fold monoidal categories of Balteanu et al in [Iterated Monoidal Categories, Adv. Math. 176(2003) 277–349]. It seems that the analogy of loop spaces is a good guide for how to define the concept of enrichment over various types of monoidal objects, including k–fold monoidal categories and their higher dimensional counterparts. The main result is that for V a k–fold monoidal category, V–Cat becomes a (k − 1)–fold monoidal 2–category in a canonical way. In the next paper I indicate how this process may be iterated by enriching over V–Cat, along the way defining the 3–category of categories enriched over V–Cat. In future work I plan to make precise the n–dimensional case and to show how the group completion of the nerve of V is related to the loop space of the group completion of the nerve of V–Cat.
This paper is an abridged version of ‘Enrichment as categorical delooping I: Enrichment over iterated monoidal categories’, math.CT/0304026.
Forcey, Stefan 1
@article{10_2140_agt_2004_4_95,
author = {Forcey, Stefan},
title = {Enrichment over iterated monoidal categories},
journal = {Algebraic and Geometric Topology},
pages = {95--119},
year = {2004},
volume = {4},
number = {1},
doi = {10.2140/agt.2004.4.95},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2004.4.95/}
}
Forcey, Stefan. Enrichment over iterated monoidal categories. Algebraic and Geometric Topology, Tome 4 (2004) no. 1, pp. 95-119. doi: 10.2140/agt.2004.4.95
[1] , , Categorification, from: "Higher category theory (Evanston, IL, 1997)", Contemp. Math. 230, Amer. Math. Soc. (1998) 1
[2] , , , , Iterated monoidal categories, Adv. Math. 176 (2003) 277
[3] , , Homotopy invariant algebraic structures on topological spaces, Lecture Notes in Mathematics 347, Springer (1973)
[4] , Simplicial matrices and the nerves of weak $n$–categories. I. Nerves of bicategories, Theory Appl. Categ. 9 (2001/02) 198
[5] , , Closed categories, from: "Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)", Springer (1966) 421
[6] , The symmetric bar construction, preprint
[7] , Higher dimensional enrichment
[8] , Enrichment as categorical delooping I: Enrichment over iterated monoidal categories
[9] , , Braided tensor categories, Adv. Math. 102 (1993) 20
[10] , Basic concepts of enriched category theory, London Mathematical Society Lecture Note Series 64, Cambridge University Press (1982) 245
[11] , Category of $A_\infty$–categories, Homology Homotopy Appl. 5 (2003) 1
[12] , Categories for the working mathematician, Graduate Texts in Mathematics 5, Springer (1998)
[13] , Categorical algebra, Bull. Amer. Math. Soc. 71 (1965) 40
[14] , The geometry of iterated loop spaces, Lectures Notes in Mathematics 271, Springer (1972)
[15] , Homotopy associativity of $H$–spaces I, II, Trans. Amer. Math. Soc. 108 $(1963)$, 275-292; ibid. 108 (1963) 293
[16] , The algebra of oriented simplexes, J. Pure Appl. Algebra 49 (1987) 283
Cité par Sources :