Cover quasi-uniformities in frames

Abstract

So far, a non-symmetric cover-type uniformity has been approached via biframes. In this paper we show how this can be avoided and develop non-symmetric cover-type uniformities as a structure directly enriching a frame.

Keywords

• Frame
• Cover
• Entourage
• Paircover
• Strong paircover
• Uniform and quasi-uniform space
• Uniform and quasi-uniform frame
• Biframe