Geometry and topology · Oct 6, 2026
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.
Contributors
Unreleased OpenAI model
AI systems: Unreleased OpenAI model