Localic Priestley duality

DOI10.1016/S0022-4049(96)00169-7zbMath0872.18003MaRDI QIDQ678827

Chris Townsend

Publication date: 11 September 1997

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

zbMATH Keywords

constructive proofcoherent spacescategory of distributive latticesordered Stone spaces

Mathematics Subject Classification ID

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

Related Items (3)

Lax proper maps of locales ⋮ Ordered locales ⋮ Entailment systems for stably locally compact locales

Cites Work

• On the parallel between the suplattice and preframe approaches to locale theory
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item

This page was built for publication: Localic Priestley duality