The finite-test-map factorization conjecture for topological spaces

From papers

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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.