Locale

Summary

A locale is a generalized topological space described only by its lattice of "open sets", which is a frame. Maps of locales go in the opposite direction to frame homomorphisms, just as a continuous map pulls open sets back. Every topological space gives a locale, and for sober spaces the space can be recovered from it. Locales are the objects of pointless topology.