On the Category of (i, j)-Baire Bilocales

We define and characterize the notion of (i, j)-Baireness for bilocales. We also give internal properties of (i, j)-Baire bilocales which are not translated from properties of (i, j)-Baireness in bispaces. It turns out (i, j)-Baire bilocales are conservative in bilocales, in the sense that a bitopological space is almost (i, j)-Baire if and only if the bilocale it induces is (i, j)-Baire. Furthermore, in the class of Noetherian bilocales, (i, j)-Baireness of a bilocale coincides with (i, j)Baireness of its ideal bilocale. We also consider relative versions of (i, j)-Baire where we show that a bilocale is (i, j)-Baire only if the subbilocale induced by the Booleanization is (i, j)-Baire. We use the characterization of (i, j)-Baire bilocales to introduce and characterize (tau i, tau j)-Baireness in the of