The congruence biframe as a quasi-uniform bicompletion

DOI10.1016/J.TOPOL.2019.106968MaRDI QIDQ2310777zbMATH OpenOpenAlexFDO

Authors Graham R. Manuell

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/1902.06340

zbMATH Keywords

assemblycongruence framedissolution localequasi-uniform framestrictly zero-dimensional biframewell-monotone quasi-uniformity

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Frames, locales (06D22) Uniform structures and generalizations (54E15) Bitopologies (54E55)

Abstract: K"unzi and Ferrario have shown that a $T_0$ space is sober if and only if it is bicomplete in the well-monotone quasi-uniformity. We prove a pointfree version of this result: a strictly zero-dimensional biframe is a congruence biframe if and only if it is bicomplete in the same quasi-uniformity. As a corollary we obtain a new proof of a result of Plewe that a congruence frame is ultraparacompact. The main result makes use of a new construction of the bicompletion of a quasi-uniform biframe as a quotient of the Samuel compactification.

Recommendations

• Sobrification and bicompletion of totally bounded quasi-uniform spaces
• Bicompleteness of the fine quasi-uniformity
• Smyth completion as bicompletion
• Quasi-nearness biframes: unique completions and related covering properties
• The bicompletion of the Hausdorff quasi-uniformity

Cites work

• Bicompleteness of the fine quasi-uniformity
• Bicompletion and Samuel bicompactification
• Completion of quasi-uniform frames
• First Steps in Descriptive Theory of Locales
• Frames and Locales
• scientific article; zbMATH DE number 440061 (Why is no real title available?)
• scientific article; zbMATH DE number 440065 (Why is no real title available?)
• scientific article; zbMATH DE number 3968856 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 1747369 (Why is no real title available?)
• scientific article; zbMATH DE number 2147163 (Why is no real title available?)
• Normality for biframes
• On dissolute spaces
• On the congruence lattice of a frame
• Samuel compactification and completion of uniform frames
• Strictly zero-dimensional biframes and a characterisation of congruence frames
• STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES
• Sublocale lattices
• The Samuel compactification for quasi-uniform biframes

Cited in

(5)

• Strictly zero-dimensional biframes and a characterisation of congruence frames
• scientific article; zbMATH DE number 440065 (Why is no real title available?)
• Sobrification and bicompletion of totally bounded quasi-uniform spaces
• A pointfree theory of Pervin spaces
• Uniform locales and their constructive aspects

This page was built for publication: The congruence biframe as a quasi-uniform bicompletion

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