Algebraic general topology General Topology Pointfree topology Conjecture solved positively By Victor PortonOn September 11, 2013 I’ve proved this conjecture. See my book (which also contains a pointfree version of this theorem).