“Topoidal problem” | ... the whole space admits a double cover with no continuous global section. |
The space? | Heath’s V-space (a suitably re-topologised real upper half-plane). |
In detail: | The quotient space of Rdiscrete × Rmetric under the equivalence relation (x-y, y) ~ (x+y, -y) , the metric on the second factor being given by d(x, y) = (1-δx,y)·max{|x|, |y|} . |
The double cover? | Concocted by emulating one construction of the connected double cover of the circle. |