Entourages, covers and localic groups (Q1937979): 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 | |||
Revision as of 06:16, 5 March 2024
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
