Duality and canonical extensions for stably compact spaces

DOI10.1016/J.TOPOL.2011.09.040MaRDI QIDQ649839zbMATH OpenOpenAlexFDO

Authors Samuel J. van Gool

Publication date 6 December 2011

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.3410

zbMATH Keywords

Priestley dualityStone dualitycanonical extensionproximity latticesplitting by idempotentsstably compact space

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Compactness (54D30) Connections of general topology with other structures, applications (54H99) Logical aspects of lattices and related structures (03G10)

Abstract: We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct pi- and sigma-extensions.

Recommendations

• Presenting de Groot duality of stably compact spaces
• Priestley duality for strong proximity lattices
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• scientific article; zbMATH DE number 1107502
• Canonical extensions of locally compact frames

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 1107502 (Why is no real title available?)
• scientific article; zbMATH DE number 1948164 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3213310 (Why is no real title available?)
• scientific article; zbMATH DE number 3218473 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• A Sahlqvist theorem for distributive modal logic
• A topological representation theory for lattices
• An isomorphism principle in general topology
• Boolean Algebras with Operators
• Bounded lattice expansions
• Canonical extensions and canonicity via dcpo presentations
• Canonical extensions for congruential logics with the deduction theorem
• Constructive canonicity in non-classical logics
• Continuous Lattices and Domains
• Continuous domains in logical form
• Domain theory in logical form
• Generalized Kripke frames
• Monotone bounded distributive lattice expansions
• On the canonicity of Sahlqvist identities
• Presenting dcpos and dcpo algebras
• Prime Ideal Structure in Commutative Rings
• Stable Compactification I
• Stably compact spaces and the probabilistic powerspace construction

Cited in

(7)

• Priestley duality for strong proximity lattices
• Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
• Canonical extensions and ultraproducts of polarities
• scientific article; zbMATH DE number 7379293 (Why is no real title available?)
• Presenting de Groot duality of stably compact spaces
• Subordinations on bounded distributive lattices
• Canonical extensions of locally compact frames

This page was built for publication: Duality and canonical extensions for stably compact spaces

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