The finite-test-map factorization conjecture for topological spaces
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.
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
Sign in to submit a solution.
No solutions have been posted yet.