The folk model category structure on strict $\omega$-categories is monoidal

Dimitri Ara, Maxime Lucas

We prove that the folk model category structure on the category of strict $\omega$-categories, introduced by Lafont, Métayer and Worytkiewicz, is monoidal, first, for the Gray tensor pr…