19 Jan
1993
19 Jan
'93
11:23 p.m.
Doesn't the following construction work for locales, even without points? Take all sections over arbitrary opens as generators. If s is a section over an open U and if U is a join of opens U(i), then demand s to be the join of the restrictions of s to the U(i). This should give a suitable notion of "locale etal" in terms of generators and relations. If not, why not? Greetings Reinhard +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++