Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
For the record, all I did at geometric morphism#sheaftopoi was to add a paragraph at the beginning of the example, substitute ‘sober’ for ‘Hausdorff’ in appropriate places, and add to the query box there. I mention this because the diff thinks that I did much more than that, and I don't want anybody to waste time looking for such changes!
I still to make the proof apply directly to sober spaces; the part that used that the space was Hausdorff is still in those terms.
Perhaps the Hausdorff part could be converted into a proof that Hausdorff spaces are sober, which would go naturally at sober space?
Good point.
I'll be off line for the rest of today, but I'll be do that eventually.
1 to 3 of 3