The congruence biframe as a quasi-uniform bicompletion
General Topology
2021-12-28 v1
Abstract
K\"unzi and Ferrario have shown that a 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.
Keywords
Cite
@article{arxiv.1902.06340,
title = {The congruence biframe as a quasi-uniform bicompletion},
author = {Graham Manuell},
journal= {arXiv preprint arXiv:1902.06340},
year = {2021}
}
Comments
12 pages, 0 figures. To be published in Topology and its Applications