Localic completion of generalized metric spaces II: Powerlocales (Q3145945)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Localic completion of generalized metric spaces II: Powerlocales |
scientific article |
Statements
Localic completion of generalized metric spaces II: Powerlocales (English)
0 references
17 December 2012
0 references
locale
0 references
constructive
0 references
topos
0 references
metric
0 references
hyperspace
0 references
powerlocale
0 references
