Entourages, covers and localic groups (Q1937979)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Entourages, covers and localic groups |
scientific article |
Statements
Entourages, covers and localic groups (English)
0 references
1 February 2013
0 references
The paper discusses two approaches to uniformities on locales: via entourages and via covers. It is proved that the two resulting categories are concretely isomorphic. Then entourage and cover uniformities, induced by the group structure, on localic groups are examined in detail. Using the equivalence of these uniformities it is proved that a homomorphism of localic groups is uniform.
0 references
frame coproduct
0 references
localic product
0 references
cover
0 references
entourage uniformity
0 references
cover uniformity
0 references
localic group
0 references
uniformities on locales
0 references
