An asymmetric approach to filters in strict extensions and quotients

DOI10.1007/S10474-012-0208-5MaRDI QIDQ2392027zbMATH OpenOpenAlexFDO

Publication date 6 August 2013

Published in Acta Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10474-012-0208-5

bifilter biframe bispace bitopological space completeness convergence downset filter space frame general bifilter point-free topology strict extension strict quotient

Mathematics Subject Classification ID

Frames, locales (06D22) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Bitopologies (54E55)

Review text

In the setting of point-free topology, this paper uses a complete lattice of open sets as the fundamental notion, as well as a bitopological space associated with a quasi-uniform space, and investigates the link between filters and downsets in the study of convergence in the asymmetric context, in particular, the role of the downsets in the construction of some completions. Roughly, a subset of a frame (a complete lattice satisfying the infinite distributive law) is called a downset if it contains 0 and any element below any of its elements. The authors introduce a new concept of a bifilter, a kind of filter appropriate for the asymmetric setting, resulting in a bispace, functorially, which is shown to be naturally isomorphic to the spectrum of the downset biframe. As a corollary, downset biframes are shown to be isomorphic to the opens of the bifilter bispace by a natural isomorphism. The notion of a universal strict quotient is introduced and the join map from a downset biframe to its underlying biframe is shown to be a universal strict quotient, which is used to show that the embedding of any \(T_0\) bispace in its bifilter bispace is a universal strict extension. The paper concludes with a discussion of an appropriate concept of general bifilter, and shows that the right adjoint of the join map is a universal general bifilter, thus responding to \textit{B.~Banaschewski} and \textit{S.~S.~Hong} [Kyungpook Math.\ J. 42, No. ~2, 273--283 (2002; Zbl 1029.06005)] on the importance of general filters for convergence and completeness in the point-free setting.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: An asymmetric approach to filters in strict extensions and quotients

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