On the parallel between the suplattice and preframe approaches to locale theory

DOI10.1016/J.APAL.2005.05.027MaRDI QIDQ2575778zbMATH OpenOpenAlexFDO

Authors Christopher F. Townsend

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.027

zbMATH Keywords

Information systemLocaleOpen mapPreframeProper mapSuplattice

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30)

Recommendations

• scientific article; zbMATH DE number 2068084
• Locales as spectral spaces
• Proper maps of locales
• scientific article; zbMATH DE number 3853067
• Inverse limits in the category of locales

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 4092319 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• scientific article; zbMATH DE number 19503 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 860043 (Why is no real title available?)
• A universal characterization of the double powerlocale
• An axiomatic account of weak triquotient assignments in locale theory
• An extension of the Galois theory of Grothendieck
• Constructive points of powerlocales
• Information systems for continuous posets
• Localic triquotient maps are effective descent maps
• Proper maps of locales
• Quantales, observational logic and process semantics
• Stably continuous frames
• The regular-locally compact coreflection of a stably locally compact locale

Cited in

(5)

• Principal bundles as Frobenius adjunctions with application to geometric morphisms
• Localic Priestley duality
• Compact Hausdorff locales in presheaf toposes
• Presenting locale pullback via directed complete posets: extended abstract
• The patch construction is dual to algebraic DCPO representation

This page was built for publication: On the parallel between the suplattice and preframe approaches to locale theory

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