A quasitopos containing CONV and MET as full subcategories (Q1120139)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A quasitopos containing CONV and MET as full subcategories |
scientific article; zbMATH DE number 4100138
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A quasitopos containing CONV and MET as full subcategories |
scientific article; zbMATH DE number 4100138 |
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
0.8864036
0 references
0.8543577
0 references
0.8450209
0 references
0.8442895
0 references
0.8421314
0 references
0.84003603
0 references
0.83999544
0 references
