Local metrically generated theories

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)].NEWLINENEWLINEThey 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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Local metrically generated theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q429318)