Quasi-uniform structures determined by closure operators (Q2664096)

A diverse literature concerning quasi-uniformities has emerged since 1948 when L. Nachbin began the study of these structures. The fact that every topological space admits at least one quasiuniformity motivated the study of quasi-uniform structures compatible with a given topology. It is this great generality of quasi-uniformities which allows one to view in some sense the study of quasi-uniform spaces as an alternative approach to the study of topological spaces. The authors successfully extend these concepts to a categorical setting: they show that there is a subconglomerate of the conglomerate of all quasi-uniform structures on a category \(\mathcal C\) which is order isomorphic to the conglomerate of all idempotent closure operators, and with the help of categorical topogenous structures, they demonstrate that for any idempotent interior operator (resp, closure) on \(\mathcal C\), there is at least a transitive quasi-uniformity which generates it. This allows them to characterize interior operators (resp. closure) that are compatible with a transitive quasi-uniformity.