For every positive finite n and n=ω, small strict globular n-categories admit a proper combinatorial Thomason model structure Quillen equivalent to simplicial sets, with weak equivalences detected by the Street nerve.
For every positive finite n and n=ω, small strict globular n-categories admit a proper combinatorial Thomason model structure Quillen equivalent to simplicial sets, with weak equivalences detected by the Street nerve.
For every positive finite n and n=ω, small strict globular n-categories admit a proper combinatorial Thomason model structure Quillen equivalent to simplicial sets, with weak equivalences detected by the Street nerve.
If correct, resolves the higher-dimensional Thomason model-structure conjecture across all stated dimensions.
Do strict higher categories admit Thomason model structures modeling spaces in every dimension?
Publication dates and editorial changes.
OpenAI reports Thomason model structures in all strict higher dimensions
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
