Editing Pointless topology (section)

==See also==
* [[Heyting algebra]]. Frames turn out to be the same as [[complete Heyting algebra|complete Heyting algebras]] (even though frame homomorphisms need not be Heyting algebra homomorphisms.)
* [[Complete Boolean algebra]]. Any complete Boolean algebra is a frame (it is a spatial frame if and only if it is atomic).
* Details on the relationship between the category of topological spaces and the category of locales, including the explicit construction of the equivalence between [[sober space]]s and spatial locales, can be found in the article on [[Stone duality]].
* [[Whitehead's point-free geometry]].
*[[Mereotopology]].