2012/07/04 by Harry Gindi, Gindi, Harry
Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AT #math.CT
paper · pdf · doi:10.48550/arxiv.1207.0860
Corrected a major gap in the proof of theorem 2.1.2.4 and clarified a bit
arxiv created 2012/09/08 · arxiv updated 2012/09/11
In this paper, we consider the model structure on the category of cellular sets originally conjectured by Cisinski and Joyal to give a model for the homotopy theory of weak (ω)-categories. We demonstrate first that any (Θ)-localizer containing the spine inclusions (ι: \Sp[t] \hookrightarrow Θ[t]) must also contain the maps (X× ι: X× \Sp[t] \hookrightarrow X× Θ[t]) for all objects ([t]) of (Θ) and all cellular sets (X). This implies in particular that a cellular set (S) is local with respect to the set of spine inclusions if and only if it is Cartesian-local. However, we show that the minimal localizer containing the spine inclusions is not stable under two-point suspension, which implies that the equivalences between objects fibrant for this model structure only depend on their height-(0) and height-(1) structure. We then try to see if adopting an approach similar to Rezk's, namely looking at all of the suspensions of the inclusion of a point into a freestanding isomorphism. We call the fibrant objects for this model structure \dfnisostable Joyal-fibrant cellular sets. We understand the resulting model structure to be conjectured by a few mathematicians to give a model structure for a category of weak (ω)-categories. However, we make short work of this claim by producing an explicit example of a nontrivial contractible cofibrant strict (ω)-category (with respect to the folk model structure) and showing that it is, first, not trivially fibrant, and second, proving that it is fibrant with respect to the isomorphism-stable Joyal model structure. We then speculate on a few of the possible ways to construct a localizer that does actually have our desired properties, leaving this question open for a future revision.