Abstract
Among the Grothendieck topoi those of the form Sh(S) for some topological space S play a special (and motivating) role. In this chapter we consider a related class of topoi those of the sheaves on a so-called “locale”. In the case of a topological space S, a sheaf is a suitable functor on the lattice O(S) of open sets of S, where the lattice order is defined by the inclusion relation between open sets. Thus the notion of a sheaf can be explained just in terms of the open sets of S, without any use of its points. Any suitable such lattice (one which is complete, with an infinite distributive law) may be taken as defining a modified sort of topological space, a so-called “locale”. The beginning sections of this chapter provide an introduction to the study of such locales, motivated by the topological examples. It will turn out that a topological space is essentially determined by its lattice of open sets when that space S has the property of “sobriety”, but, beyond that point, spaces and locales diverge.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Mac Lane, S., Moerdijk, I. (1994). Localic Topoi. In: Sheaves in Geometry and Logic. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-0927-0_11
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0927-0_11
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97710-2
Online ISBN: 978-1-4612-0927-0
eBook Packages: Springer Book Archive