Frames and Locales

With a wealth of unpublished material and useful appendices on the background, this is the first monograph on the topic for more than two decades and is intended to bridge the time span between Johnstone's 1983 paper Stone Spaces and current theory.

Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited since the twenties offered an expression of the geometric intuition of a "realistic" place (spot, grain) of non-trivial extent.

Imitating the behaviour of open sets and their relations led to a new approach to topology flourishing since the end of the fifties.It has proved to be beneficial in many respects. Neglecting points, only little information was lost, while deeper insights have been gained; moreover, many results previously dependent on choice principles became constructive. The result is often a smoother, rather than a more entangled, theory.

No monograph of this nature has appeared since Johnstone's celebrated Stone Spaces in 1983. The present book is intended as a bridge from that time to the present. Most of the material appears here in book form for the first time or is presented from new points of view. Two appendices provide an introduction to some requisite concepts from order and category theories.

First monograph in this area in more than two decades Most of the material has not yet been published in book form, particularly the part devoted to the enriched structures Suitable for advanced courses and as a reference text Includes supplementary material: sn.pub/extras

Contenu
Preface.- Introduction.- I. Spaces and lattices of open sets.- II. Frames and locales. Spectra.- III. Sublocales.- IV. Structure of localic morphisms. The categories Loc and Frm.- V. Separation axioms.- VI. More on sublocales.-VII. Compactness and local compactness.- VIII. (Symmetric) uniformity and nearness.- IX. Paracompactness.- X. More about completion.- XI. Metric frames.- XII. Entourages, non-symmetric uniformity.- XIII. Connectedness.- XIV. The frame of reals and real functions.- XV. Localic groups.- Appendix I: Posets.- Appendix II: Categories.- Bibliography.- Index of Notation.- Index.