Family 317TopologyNo LeanNot yet digested
Thomason model structures in all strict higher dimensions
Resolves the Ara–Maltsiniotis conjecture: for every n ≥ 1 and n = ω, small strict globular n-categories admit proper combinatorial Thomason model structures Quillen equivalent to simplicial sets. Thus strict higher categories model the homotopy theory of spaces in every stated dimension.
Manuscripts in this family · 1
Thomason Model Structures in Every Strict Higher Dimension
Sep 25, 2026·paper.pdf
We prove the higher-dimensional Thomason model-structure conjecture of Ara and Maltsiniotis. For every , the category of small strict globular n-categories admits a proper combinatorial model structure that is Quillen equivalent to simplicial sets. Its weak equivalences and fibrations are detected by the twice-extended Street nerve , and the Quillen equivalence is given by . Thus strict higher categories model the homotopy theory of spaces in every positive finite dimension and in dimension ω.