The folk model category structure on strict ω-categories is monoidal

Dimitri Ara ; Maxime Lucas

Theory and applications of categories, Tome 35 (2020), pp. 745-808

Résumé

We prove that the folk model category structure on the category of strict ω-categories, introduced by Lafont, Métayer and Worytkiewicz, is monoidal, first, for the Gray tensor product and, second, for the join of ω-categories, introduced by the first author and Maltsiniotis. We moreover show that the Gray tensor product induces, by adjunction, a tensor product of strict (m,n)-categories and that this tensor product is also compatible with the folk model category structure. In particular, we get a monoidal model category structure on the category of strict ω-groupoids. We prove that this monoidal model category structure satisfies the monoid axiom, so that the category of Gray monoids, studied by the second author, bears a natural model category structure.

Détail

Publié le : 2020-05-28

Classification : 18M05, 18N30, 18N40, 55U35
Keywords: augmented directed complexes, folk model category structure, Gray tensor product, join, locally biclosed monoidal categories, monoidal model categories, oplax transformations, strict ω-categories, strict ω-groupoids, strict (m, n)-categories