Vertically iterated classical enrichment

Stefan Forcey

Theory and applications of categories, Tome 12 (2004), pp. 299-325.

Résumé

Lyubashenko has described enriched 2-categories as categories enriched over V-Cat, the 2-category of categories enriched over a symmetric monoidal V. This construction is the strict analogue for V-functors in V-Cat of Brian Day's probicategories for V-modules in V-Mod. Here I generalize the strict version to enriched n-categories for k-fold monoidal V. The latter is defined as by Balteanu, Fiedorowicz, Schwanzl and Vogt but with the addition of making visible the coherent associators. The symmetric case can easily be recovered. This paper proposes a recursive definition of V-n-categories and their morphisms. We show that for V k-fold monoidal the structure of a (k-n)-fold monoidal strict (n+1)-category is possessed by V-n-Cat. This article is a completion of the work begun by the author in the preprint entitled Higher dimensional enrichment (math.CT/0306086), and the initial sections duplicate the beginning of that paper.

Détail

Classification : 18D10, 18D20
Keywords: enriched categories, n-categories, iterated monoidal categories