Duality and canonical extensions for stably compact spaces

DOI10.1016/J.TOPOL.2011.09.040zbMATH Open1233.54021arXiv1009.3410OpenAlexW2152404348MaRDI QIDQ649839FDOQ649839

Authors: Samuel J. van Gool 

Publication date: 6 December 2011

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Prime Ideal Structure in Commutative Rings
• Domain theory in logical form
• A topological representation theory for lattices
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Presenting dcpos and dcpo algebras
• Boolean Algebras with Operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bounded lattice expansions
• Generalized Kripke frames
• Continuous domains in logical form
• Stable Compactification I
• Title not available (Why is that?)
• Canonical extensions for congruential logics with the deduction theorem
• Constructive canonicity in non-classical logics
• An isomorphism principle in general topology
• Stably compact spaces and the probabilistic powerspace construction
• On the canonicity of Sahlqvist identities
• A Sahlqvist theorem for distributive modal logic
• Monotone bounded distributive lattice expansions
• Canonical extensions and canonicity via dcpo presentations
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• 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)