Stone's representation theorem for distributive lattices yields a dual equivalence between the category \(\mathsf{DLat}\) of (bounded) distributive lattices and that of spectral spaces, \(\mathsf{Spec}\). Several results characterizing subcategories of \(\mathsf{DLat}\) in terms of properties of their corresponding spectral spaces have appeared in the literature. In this paper, the author presents a similar characterization for the category \(\mathsf{Frm}\) of frames. In this case, the corresponding spectral spaces, named \textit{constructibly extremally disconnected}, are precisely the ones where the closure (in the patch topology) of an open set is open. The subcategory of constructibly extremally disconnected spectral spaces will be then equivalent to the opposite category of \(\mathsf{Frm}\), that is, the category \(\mathsf{Loc}\) of locales and localic maps. This provides a representation for \(\mathsf{Loc}\) inside \(\mathsf{Spec}\) and leads the author to approach locales via the systematic study of them as spectral spaces. Among other things, the relationship between the category of constructibly extremally disconnected spectral spaces and the categories \(\mathsf{Top}\) (of topological spaces) and \(\mathsf{Spec}\) is studied. The notions of localic subspaces and localic points of a locale (regarded as a spectral space \(X\)) are introduced and studied. Of course, the localic subspaces of \(X\) will form a co-frame, which is anti-isomorphic to the assembly of the frame of open and quasi-compact subsets of \(X\).
- Elementary properties of minimal and maximal points in Zariski spectra
- scientific article; zbMATH DE number 5367214 (Why is no real title available?)
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 4090347 (Why is no real title available?)
- scientific article; zbMATH DE number 3681970 (Why is no real title available?)
- scientific article; zbMATH DE number 3775591 (Why is no real title available?)
- scientific article; zbMATH DE number 192924 (Why is no real title available?)
- scientific article; zbMATH DE number 3512777 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 1553297 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Prime Ideal Structure in Commutative Rings
- Spectral spaces
- The order structure of the real spectrum of commutative rings
- Frames and grids
- Entailment systems for stably locally compact locales
- Spectral reflections of topological spaces
- On the spectralization of affine and perfectly normal spaces
- Locality in theory space
- Localic subspaces and colimits of localic spaces
- On the parallel between the suplattice and preframe approaches to locale theory
- Separating families of locale maps and localic embeddings
- scientific article; zbMATH DE number 1333339 (Why is no real title available?)
- scientific article; zbMATH DE number 722280 (Why is no real title available?)
- scientific article; zbMATH DE number 1103397 (Why is no real title available?)
- scientific article; zbMATH DE number 2068084 (Why is no real title available?)
- scientific article; zbMATH DE number 7357248 (Why is no real title available?)
- Spectral spaces versus distributive lattices: a dictionary
- Notes on the product of locales
- Linear structures on locales
- Topology of closure systems in algebraic lattices
- scientific article; zbMATH DE number 7774169 (Why is no real title available?)
- Deriving dualities in pointfree topology from Priestley duality
- On the categorical behaviour of locales and D-localic maps
- The hull-kernel topology on prime ideals in ordered semigroups
This page was built for publication: Locales as spectral spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q364688)
