The finite-test-map factorization conjecture for topological spaces
Let be a finite set of maps between finite topological spaces. For a string of letters and , let , , , and denote the iterated orthogonality classes specified by that string, with indicating the relevant factorization construction. Finite-test-map factorization conjecture. Every map in the category of topological spaces decomposes as a map in followed by a map in , and also as a map in followed by a map in . 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
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.