Quantale-Valued Generalizations of Approach Groups
The motive behind this paper is to generalize the concept of approach groups. In so doing, we introduce various categories, specifically, the categories of quantale-valued convergence groups, quantale-valued approach groups, quantale-valued gauge groups and quantale-valued approach system groups, and study their functorial relationships including the fact that the category of quantale-valued gauge groups as well as the category of quantale-valued approach system groups is topological over the category of groups. Besides obtaining a variety of categorical connections, we note that if the quantale is linearly ordered satisfying certain conditions, then the categories of quantale-valued approach system groups and quantale-valued gauge groups are isomorphic. Finally, we look into the embeddings of the category of quantale-valued metric groups into the categories of quantale-valued generalizations of approach groups including commutativity of some diagrams.