(Sub)fit biframes and non-symmetric nearness. (Q2447130)

Nearnesses in pointfree topology are admitted precisely by regular frames. The initial approach to the concept of nearness in frames was via systems of covers, called uniform covers. This naturally made everything symmetric. The authors of the present paper discuss a non-symmetric variant via Weil entourages that were introduced to pointfree topology by the first-named author. Included in their tool kit are techniques from biframes. Starting by describing a subbilocale of a biframe, and observing that each subbilocale of a biframe is a biframe, they show that (i) a subbilocale of a fit biframe is subfit, and (ii) a biframe is fit if and only if each of its subbilocales is subfit. Whereas, as already mentioned, only regular frames can admit a nearness, the authors prove that a biframe admits a quasi-nearness precisely when it is subfit. Analogously with this result, they establish that a frame admits a quasi-nearness if and only if it is the total part of a subfit biframe.