A general method to construct cube-like categories and applications to homotopy theory
In this paper, we introduce a method to construct new categories which look like "cubes", and discuss model structures on the presheaf categories over them. First, we introduce a notion of thin-powered structure on small categories, which provides a generalized notion of "power-sets" on categories. Next, we see that if a small category R admits a good thin-powered structure, we can construct a new category □(R) called the cubicalization of the category. We also see that □(R) is equipped with enough structures so that many arguments made for the classical cube category □ are also available. In particular, it is a test category in the sense of Grothendieck. The resulting categories contain the cube category □, the cube category with connections □c, the extended cubical category □Σ introduced by Isaacson, and cube categories □G symmetrized by more general group operads G. We finally discuss model structures on the presheaf categories □(R)∧ over cubicalizations. We prove that □(R)∧ admits a model structure such that the simplicial realization □(R)∧→SSet is a left Quillen functor. Moreover, in the case of □G for group operads G, □G∧ is a monoidal model category, and we have a sequence of monoidal Quillen equivalences □Set→□G∧→SSet. For example, if G=B is the group operad consisting of braid groups, the category □B∧ is a braided monoidal model category whose homotopy category is equivalent to that of SSet.
