Cozfine and measurable uniform frames (Q1963985)

The notions of fine, cozfine and measurable, which have their origins in the theory of uniform spaces, are studied in a frame setting. Fine uniform frames are reflective in the category of uniform frames, while cozfine and measurable frames are reflective in the category of separable uniform frames. The behaviour of the corresponding reflections with respect to completion is discussed.