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:
“If August passes
flowerless,
and the frosts come,
will I have learned to rejoice enough
in the sober wonder of
green healthy leaves?”
—Denise Levertov (b. 1923)
“In any case, raw aggression is thought to be the peculiar province of men, as nurturing is the peculiar province of women.... The psychologist Erik Erikson discovered that, while little girls playing with blocks generally create pleasant interior spaces and attractive entrances, little boys are inclined to pile up the blocks as high as they can and then watch them fall down: “the contemplation of ruins,” Erikson observes, “is a masculine specialty.””
—Joyce Carol Oates (b. 1938)