The assembly of a pointfree bispace and its two variations (Q2087399)

In 1963, \textit{J. C. Kelly} [Proc. Lond. Math. Soc. (3) 13, 71--89 (1963; Zbl 0107.16401)] noted that the lack of symmetry of the quasi-metric leads to the existence of two topologies on the same set. The author, in [J. Pure Appl. Algebra 226, No. 2, Article ID 106783, 39 p. (2022; Zbl 1477.18024)], introduced finitary biframes as pointfree duals of bitopological spaces mainly revolve around the theory of sublocales. For a frame \(L\), the frame \(A(L)\) of the congruences of \(L\) is regarded to be the collection of all pointfree subspaces of \(L\). Embedded in \(A(L)\) one has the subframe of closed congruences (representing closed subspaces of the space \(L\)) and the subframe of fitted congruences, namely, the joins of open congruences (those representing the open subspaces of \(L\)). These two frames generate all of \(A(L)\). Thus, there is a bitopological interplay between closed and fitted subspaces. The central claim of this paper is that for a pointfree subspace \(\mathcal L\) one still has a bitopological interplay between closed and fitted bisubspaces, but next to this one has a bitopological interplay which is orthogonal to this: the interplay between positive and negative bisubspaces of \(\mathcal L\). On the other hand, fitness and subfitness were both introduced and it is shown that the analogues of two characterization theorems for these axioms hold. A spatial, bitopological version of these theorems is proven, in which finitary biframes whose spectrum is pairwise \(T_1\) are characterized.