An asymmetric approach to filters in strict extensions and quotients (Q2392027)

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.