Localic completion of uniform spaces (Q5367061)
From MaRDI portal
scientific article; zbMATH DE number 6790159
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Localic completion of uniform spaces |
scientific article; zbMATH DE number 6790159 |
Statements
12 October 2017
0 references
constructive mathematics
0 references
formal topologies
0 references
uniform spaces
0 references
localic completion
0 references
locally compact spaces
0 references
math.GN
0 references
cs.LO
0 references
