Baire sets and uniformities on complete metric spaces
Binding spaces: A unified completion and extension theory
Booleanization of uniform frames
Booleanization of frames or uniform frames, which is not functorial under the basic choice of morphisms, becomes functorial in the categories with weakly open homomorphisms or weakly open uniform homomorphisms. Then, the construction becomes a reflection. In the uniform case, moreover, it also has a left adjoint. In connection with this, certain dual equivalences concerning uniform spaces and uniform frames arise.
Boundedness in uniform spaces and topological groups