Thomason model structures in all strict higher dimensions
What the paper claims, in its own words
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.
The plain-language explainer for this entry is still coming.