The model-structure conjecture generated by finite topological spaces
The model-structure conjecture generated by finite topological spaces
Let and be the indicated maps of finite topological spaces, and let denote the category of topological spaces. The finite-space model-structure conjecture. A cellular map of finite CW complexes is a trivial fibration if and only if it lies in
Moreover, every locally trivial fibre bundle with contractible fibre over a paracompact space, and more generally every numerable fibre bundle with contractible fibre whose total space is separable metric, lies in this class; and there is a model structure on for which this class is the class of trivial fibrations. The source gives evidence and related speculations but no proof of the full assertion.
Sources & referencesView supporting material
Primary source
Misha Gavrilovich, “Finite combinatorics implicit in the basic definitions of topology”, arXiv:2409.20464 (2024).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.