Voir la notice de l'article provenant de la source Theory and Applications of Categories website
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.
@article{TAC_2004_12_a9,
author = {Stefan Forcey},
title = {Vertically iterated classical enrichment},
journal = {Theory and applications of categories},
pages = {299--325},
publisher = {mathdoc},
volume = {12},
year = {2004},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2004_12_a9/}
}
Stefan Forcey. Vertically iterated classical enrichment. Theory and applications of categories, Tome 12 (2004), pp. 299-325. http://geodesic.mathdoc.fr/item/TAC_2004_12_a9/