A quasitopos containing CONV and MET as full subcategories
The category of convergence-approach spaces with contractions (CAP) is defined and shown to be a quasitopos. The authors determine the way in which several interesting categories related to convergence and distance are embedded in CAP. For example, the category of approach spaces with the contractions is a bireflective subcategory and the category of convergence spaces with continuous maps is a full subcategory.
category of convergence- approach spaces
scientific article; zbMATH DE number 4100138
scientific article