See Also
- Heyting algebra. A locale is a complete Heyting algebra.
- Details on the relationship between the category of topological spaces and the category of locales, including the explicit construction of the duality between sober spaces and spatial locales, are to be found in the article on Stone duality.
- Point-free geometry
- Mereology
- Mereotopology
- Tacit programming
Read more about this topic: Pointlessly
Famous quotes containing the word see:
“For the gods, though slow to see, see well, whenever a man casting aside worship turns folly.”
—Sophocles (497406/5 B.C.)