1 results
II - Locales
-
- By Jorge Picado, University of Coimbra, Aieš Pultr, MFF, Charles University, Anna Tozzi, University of L'Aquila
- Edited by Maria Cristina Pedicchio, Università degli Studi di Trieste, Walter Tholen, York University, Toronto
-
- Book:
- Categorical Foundations
- Published online:
- 05 November 2013
- Print publication:
- 03 November 2003, pp 49-101
-
- Chapter
- Export citation
-
Summary
This chapter is an introduction to the basic concepts, constructions, and results concerning locales. Locales (frames) are the object of study of the so called point-free topology. They sufficiently resemble the lattices of open sets of topological spaces to allow the treatment of many topological questions. One motivation for the theory of locales is building topology on the intuition of “places of non-trivial extent” rather than on points. Not the only one; hence it is not surprising that the theory has developed beyond the purely geometric scope. Still, we can think of a locale as of a kind of space, more general than the classical one, allowing us to see topological phenomena in a new perspective. Other aspects are, for instance, connections with domain theory [53, 52], continuous lattices [5, 31], logic [65, 20] and topos theory [42, 20].
Modern topology originates, in principle, from Hausdorff's “Mengenlehre” [30] in 1914. One year earlier there was a paper by Caratheodory [23] containing the idea of a point as an entity localized by a special system of diminishing sets; this is also of relevance for the modern point-free thinking. In the twenties and thirties the importance of (the lattice of) open sets (which are, typically, “places of non-trivial extent”) became gradually more and more apparent (see e.g. Alexandroff [1] or Sierpinski [54]). In [57] and [58], Stone presented his famous duality-theorem from which it followed that compact zero-dimensional spaces and continuous maps are well represented by the Boolean algebras of closed open sets and lattice homomorphisms.