Complemented sublocales and open maps

DOI10.1016/J.APAL.2005.05.030MaRDI QIDQ2575771zbMATH OpenOpenAlexFDO

Authors Peter Johnstone

Publication date 6 December 2005

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2005.05.030

zbMATH Keywords

complemented sublocaledissolutionopen mapskeletal map

Mathematics Subject Classification ID

Frames, locales (06D22) Topoi (18B25)

Review text

The main purpose of this paper is to answer a question posed by \textit{W. Tholen}: is it possible to characterize the open maps in the category of locales as those morphisms \(f\) such that pullback along \(f\) preserves closures of sublocales? So, the authors show that the answer to Tholen's question is negative: there are locales maps \(f\) such that pullback along \(f\) preserves closures of sublocales, but which are not open. The main theorem of the paper may thus be seen as the dual of the well-known characterization of proper maps as those which are stably closed. Also, the author investigates in which cases a particular sublocale, or set of sublocales, of a given locale, may be declared closed.

Recommendations

• Open sublocales of localic completions
• Publication:3475977
• Open mappings of submetrizable spaces
• On joins of complemented sublocales
• Open and other kinds of map extensions over local compactifications
• scientific article; zbMATH DE number 6812709
• Sublocales in formal topology
• Open subspaces of locally compact metric spaces
• Locales whose coz-complemented cozero sublocales have open closures
• Composites of open maps

Cites work

• Atomless Parts of Spaces.
• scientific article; zbMATH DE number 3710374 (Why is no real title available?)
• scientific article; zbMATH DE number 29048 (Why is no real title available?)
• scientific article; zbMATH DE number 2068085 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 896401 (Why is no real title available?)
• scientific article; zbMATH DE number 3324444 (Why is no real title available?)
• Open maps of toposes
• Proper maps of locales
• Proper maps of toposes
• Quotient maps of locales
• Singly generated frame extensions
• The Gleason cover of a topos. I
• Variants of openness

Cited in

(18)

• The absolute of a topological space and its application to Abelian \(l\)-groups
• Proper maps of locales
• Variants of openness
• The congruence frame and the Madden quotient for partial frames
• On classes of localic maps defined by their behavior on zero sublocales
• Adjoint maps between implicative semilattices and continuity of localic maps
• Nuclear ranges in implicative semilattices
• Open sublocales of localic completions
• scientific article; zbMATH DE number 4208343 (Why is no real title available?)
• scientific article; zbMATH DE number 6812709 (Why is no real title available?)
• scientific article; zbMATH DE number 909652 (Why is no real title available?)
• scientific article; zbMATH DE number 7084652 (Why is no real title available?)
• A short note on nearly perfect maps of locales
• A note on stably closed maps of locales
• Closed and open maps for partial frames
• Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
• Notes on sublocales and dissolution
• Meets of spatial sublocales

This page was built for publication: Complemented sublocales and open maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575771)