Local metrically generated theories (Q429318)

Going from a quasi-uniformity (resp. uniformity) to the underlying topology (resp. completely regular topology) involves a kind of localization of the structure (by way of deriving neighborhoods from entourages). In this paper the authors turn these intuitive ad-hoc facts into a general technique by making use of the metrically generated theories of [\textit{E. Colebunders} and \textit{R. Lowen}, Proc. Am. Math. Soc. 133, 1547--1556 (2005; Zbl 1073.54006)]. They show that every metrically generated theory gives rise to a unique largest underlying local theory, called \textit{local metrically generated theory}, and determine precisely what these local underlying theories for various important examples are. In the case of quasi-uniform (resp. uniform) spaces, the local metrically generated theory is indeed the category of all (resp. completely regular) topological spaces. Other examples derived are: the local theory determined by semi-quasi-uniform (resp. semi-uniform) spaces is the category of pretopological spaces (resp. the reflective hull of symmetric spaces in pretopological spaces); the local theory determined by quasi-uniform (resp. semi-quasi-uniform, resp. uniform) gauge spaces is the category of approach (resp. pre-approach, resp. uniform approach) spaces.