A quasitopos containing CONV and MET as full subcategories (Q1120139): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 03:15, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A quasitopos containing CONV and MET as full subcategories |
scientific article |
Statements
A quasitopos containing CONV and MET as full subcategories (English)
0 references
1988
0 references
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.
0 references
limit
0 references
distance
0 references
cartesian closed category
0 references
category of convergence- approach spaces
0 references
quasitopos
0 references
approach spaces
0 references
bireflective subcategory
0 references
convergence spaces
0 references
