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.

Key words: L-approach space, L-gauge space, L-approach system, L-topological space, L-interior operator.