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:
“This was the merriest old man that we had ever seen, and one of the best preserved. His style of conversation was coarse and plain enough to have suited Rabelais. He would have made a good Panurge. Or rather he was a sober Silenus, and we were the boys Chromis and Mnasilus, who listened to his story.... There was a strange mingling of past and present in his conversation, for he had lived under King George, and might have remembered when Napoleon and the moderns generally were born.”
—Henry David Thoreau (1817–1862)
“We should read history as little critically as we consider the landscape, and be more interested by the atmospheric tints and various lights and shades which the intervening spaces create than by its groundwork and composition.”
—Henry David Thoreau (1817–1862)