Canonical extensions of locally compact frames

DOI10.1016/J.TOPOL.2019.106976MaRDI QIDQ2310786zbMATH OpenOpenAlexWikidataFDO

Authors Tomáš Jakl

Publication date 6 April 2020

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

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

zbMATH Keywords

canonical extensionsduality theoryframespointfree topology

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Continuous lattices and posets, applications (06B35) Frames, locales (06D22)

Abstract: Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and choice-free way. We adapt the general algebraic technique that constructs them to the theory of frames. As a result, we show that every locally compact frame embeds into a completely distributive lattice by a construction which generalises, among others, the canonical extensions for distributive lattices and proximity lattices. This construction also provides a new description of a construction by Marcel Ern'e. Moreover, canonical extensions of frames enable us to frame-theoretically represent monotone maps with respect to the specialisation order.

Recommendations

• Duality and canonical extensions for stably compact spaces
• Canonical extensions and canonicity via dcpo presentations
• A view of canonical extension
• A fresh perspective on canonical extensions for bounded lattices.
• Canonical extensions of posets.

Cites work

• _1-completions of a poset.
• A Direct Proof of the Hofmann-Mislove Theorem
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded distributive lattice expansions
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Canonical extensions, Esakia spaces, and universal models
• Choiceless, pointless, but not useless: dualities for preframes
• Compactly generated Hausdorff locales
• Continuous Lattices and Domains
• Duality and canonical extensions for stably compact spaces
• Frames and Locales
• Generalising canonical extension to the categorical setting
• Generalized Kripke frames
• scientific article; zbMATH DE number 5289973 (Why is no real title available?)
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 1330441 (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 3796014 (Why is no real title available?)
• Joins in the frame of nuclei
• Maximal essential extensions in the context of frames
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• The regular-locally compact coreflection of a stably locally compact locale

Cited in

(4)

• Maximal essential extensions in the context of frames
• Duality and canonical extensions for stably compact spaces
• Raney extensions: a pointfree theory of T₀ spaces based on canonical extension
• Canonical extensions via fitted sublocales

This page was built for publication: Canonical extensions of locally compact frames

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