The naive combinatorial model-structure conjecture

Let MM be the five-point space with two open and three closed points, let Λ\Lambda be the three-point space with one open and two closed points, and let {MΛ}l\left\{M\to\Lambda\right\}^{l} and {MΛ}lr\left\{M\to\Lambda\right\}^{lr} denote the corresponding orthogonality classes. For a finite-space map p:YBp:Y\to B, write Yp ⁣ ⁣BY_{{}_p\!\!\searrow}\underset{B}{} for its non-Hausdorff mapping-cone object. Naive combinatorial model-structure conjecture. A closed model structure on the category of topological spaces is defined by taking {MΛ}l\left\{M\to\Lambda\right\}^{l} as the cofibrations, {MΛ}lr\left\{M\to\Lambda\right\}^{lr} as the trivial fibrations,

{YpB: Y<, B<, and Yp ⁣ ⁣B{MΛ}lr}l\left\{Y\xrightarrow p B:\ |Y|<\infty,\ |B|<\infty,\text{ and }Y_{{}_p\!\!\searrow}\underset{B}{}\in\left\{M\to\Lambda\right\}^{lr}\right\}^{l}

as the trivial cofibrations,

{YpB: Y<, B<, and Yp ⁣ ⁣B{MΛ}lr}lr\left\{Y\xrightarrow p B:\ |Y|<\infty,\ |B|<\infty,\text{ and }Y_{{}_p\!\!\searrow}\underset{B}{}\in\left\{M\to\Lambda\right\}^{lr}\right\}^{lr}

as the fibrations, and the compositions of a trivial cofibration with a trivial fibration as the weak equivalences. The conjecture proposes a purely combinatorial model structure on topological spaces, but the supplied text gives no proof or resolution.

Sources & referencesView supporting material

Primary source

M. Gavrilovich and K. Pimenov, “A suggestion towards a finitist's realisation of topology”, arXiv:2112.14751 (2021).

Progress summary

Never refreshed

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.