Quantale-Valued Generalizations of Approach Groups

Abstract

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.