Page 55 - Textos de Matemática Vol. 41
P. 55
6.8. Spatial sublocales 41
that makes (6.8.5) a pair of homeomorphisms is precisely the Skula topology of Pt(L).
In conclusion, the spectrum Pt(Sl(L)op) of the assembly of L is homeo- morphic to the space
and we have
|Pt(L)|, Skula topology of Pt(L)
for each locale L the spectrum of its assembly is the Skula space of the spectrum of L.