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.
References
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
No solutions have been posted yet.