The finite-test-map factorization conjecture for topological spaces

About 5 years old · traced to

Let PP be a finite set of maps between finite topological spaces. For a string of letters ll and rr, let (P)sl(P)^{sl}, (P)slr(P)^{slr}, (P)srl(P)^{srl}, and (P)sr(P)^{sr} denote the iterated orthogonality classes specified by that string, with ss indicating the relevant factorization construction. Finite-test-map factorization conjecture. Every map in the category of topological spaces decomposes as a map in (P)sl(P)^{sl} followed by a map in (P)slr(P)^{slr}, and also as a map in (P)srl(P)^{srl} followed by a map in (P)sr(P)^{sr}. The claim is presented as a proposed rule for a diagram-chasing calculus of formal topological spaces; the supplied text gives no resolution.

References

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.