序列足以用于无点一致完备化
Sequences suffice for pointfree uniform completions
Stellenbosch University（斯坦陵布什大学）
AI总结：
本文指出在无点拓扑中，一致locale的完备化可通过柯西序列的locale的商构造，无需使用滤子或网。
摘要：
度量空间的完备化通常使用柯西序列构造。然而，这对于一般的一致空间并不适用，此时必须改用柯西滤子或网。在无点拓扑中，情况更为直接：一致locale的正确完备化确实可以作为柯西序列的locale的商获得。
英文摘要：
Completions of metric spaces are usually constructed using Cauchy sequences. However, this does not work for general uniform spaces, where Cauchy filters or nets must be used instead. The situation in pointfree topology is more straightforward: the correct completion of uniform locales can indeed be obtained as a quotient of a locale of Cauchy sequences.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
