Duality of Sober Spaces and Spatial Locales
This section motivates and explains one of the most basic constructions of Stone duality: the duality between topological spaces which are sober and frames (i.e. complete Heyting algebras) which are spatial. This classical piece of mathematics requires a substantial amount of abstraction that usually tends to puzzle beginners. It should therefore be considered as graduate level mathematics. Some prior exposure to the basics of category theory is recommended, although a deep understanding of the concepts of adjunction and duality may well arise from examples such as the result below. Furthermore, concepts of topology and order theory are naturally involved as well, where the latter is probably more important for a thorough understanding.
Read more about this topic: Stone Duality
Famous quotes containing the words sober and/or spaces:
“An aristocratic culture does not advertise its emotions. In its forms of expression it is sober and reserved. Its general attitude is stoic.”
—Johan Huizinga (1872–1945)
“through the spaces of the dark
Midnight shakes the memory
As a madman shakes a dead geranium.”
—T.S. (Thomas Stearns)