A suggestion towards a finitist's realisation of topology
Abstract: We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological spaces (preorders) of size 5 and 3. In particular, we observe that the double Quillen orthogonal { M-->/\ }lr is precisely the class of trivial Serre fibrations if calculated in a certain category of nice topological spaces. This suggests a question whether there is a finitistic/combinatorial definition of a model structure on the category of topological spaces entirely in terms of the single morphism M-->/\, apparently related to the Michael continuous selection theory.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.