A quasitopos containing CONV and MET as full subcategories (Q1120139)

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.