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

DOI10.1016/J.APAL.2005.05.027zbMATH Open1079.06012OpenAlexW2012892470MaRDI QIDQ2575778FDOQ2575778

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)

Cites Work

• Title not available (Why is that?)
• A universal characterization of the double powerlocale
• Information systems for continuous posets
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantales, observational logic and process semantics
• Constructive points of powerlocales
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stably continuous frames
• The regular-locally compact coreflection of a stably locally compact locale
• Proper maps of locales
• Title not available (Why is that?)
• Localic triquotient maps are effective descent maps
• Title not available (Why is that?)
• An axiomatic account of weak triquotient assignments in locale theory

Cited In (4)

• The patch construction is dual to algebraic DCPO representation
• Compact Hausdorff locales in presheaf toposes
• Principal bundles as Frobenius adjunctions with application to geometric morphisms
• Localic Priestley duality

   Recommendations

• Title not available (Why is that?) 👍 👎
• Locales as spectral spaces 👍 👎
• Proper maps of locales 👍 👎
• Title not available (Why is that?) 👍 👎
• Inverse limits in the category of locales 👍 👎

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)