Localic Priestley duality

DOI10.1016/S0022-4049(96)00169-7MaRDI QIDQ678827zbMATH OpenFDO

Authors Chris Townsend

Publication date 11 September 1997

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

Full work available at URL https://doi.org/10.1016/S0022-4049(96)00169-7

zbMATH Keywords

category of distributive latticescoherent spacesconstructive proofordered Stone spaces

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Stone spaces (Boolean spaces) and related structures (06E15) Categorical methods in general topology (54B30)

Review text

What is proved here is actually not a duality but a (covariant) equivalence: that between the localic analogues of the category of ordered Stone spaces (which were introduced by \textit{H. A. Priestley} in 1970 as the duals of distributive lattices) and of the category of coherent spaces (the non-Hausdorff generalization of Stone spaces which appeared in \textit{M. H. Stone}'s 1937 representation theorem for distributive lattices). The equivalence of these two categories (both being dual to the category of distributive lattices) has been well known for some time, even on the localic level; but this is the first entirely constructive proof of the result to appear in print.

Recommendations

• scientific article; zbMATH DE number 4090347
• Lax proper maps of locales
• scientific article; zbMATH DE number 3887755
• Priestley's duality from Stone's

Cites work

• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• On the parallel between the suplattice and preframe approaches to locale theory
• Representation of Distributive Lattices by means of ordered Stone Spaces

Cited in

(8)

• Entailment systems for stably locally compact locales
• Local duality
• Priestley duality for strong proximity lattices
• scientific article; zbMATH DE number 4090347 (Why is no real title available?)
• scientific article; zbMATH DE number 896404 (Why is no real title available?)
• scientific article; zbMATH DE number 7774169 (Why is no real title available?)
• Ordered locales
• Lax proper maps of locales

This page was built for publication: Localic Priestley duality

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