Quantale-valued generalizations of approach spaces and quantale-valued topological spaces

Abstract

We show that for certain quantales, the categories of quantale-valued gauge spaces and of quantale-valued approach system spaces are isomorphic to the category of quantale-valued bounded strong topological spaces.