Pointless topology
From Wiki @ Karl Jones dot com
In mathematics, pointless topology (also called point-free or pointfree topology) is an approach to topology that avoids mentioning points.
Description
The name 'pointless topology' is due to John von Neumann.
The ideas of pointless topology are closely related to mereotopologies in which regions (sets) are treated as foundational without explicit reference to underlying point sets.
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
External links
- Pointless topology @ Wikipedia.org
