QUANTALE-VALUED GENERALIZATIONS OF APPROACH SPACES AND QUANTALE-VALUED TOPOLOGICAL SPACES

摘要

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.