More on upper bicompletion-true functorial quasi-uniformities (Q719721): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:19, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More on upper bicompletion-true functorial quasi-uniformities |
scientific article |
Statements
More on upper bicompletion-true functorial quasi-uniformities (English)
0 references
11 October 2011
0 references
Let \({\mathbf Q}{\mathbf U}_0\) be the category of quasi-uniform \(T_0\)-spaces and \(K:{\mathbf Q}{\mathbf U}_0\to{\mathbf Q}{\mathbf U}_0\) be the bicompletion reflector. If \(T:{\mathbf Q}{\mathbf U}_0\to{\mathbf T}{\mathbf o}{\mathbf p}_0\) is the forgetful functor to the category \({\mathbf T}{\mathbf o}{\mathbf p}_0\) of topological \(T_0\)-spaces, a functor \(F:{\mathbf T}{\mathbf o}{\mathbf p}_0\to{\mathbf Q}{\mathbf U}_0\) is called a section of \(T\) if \(T\circ F\) is the identity on \({\mathbf T}{\mathbf o}{\mathbf p}_0\). The main result of this paper is eight characterizations of the sections \(F:{\mathbf T}{\mathbf o}{\mathbf p}_0\to{\mathbf Q}{\mathbf U}_0\) of \(T\) that are upper bicompletion-true, i.e., of the sections that have the property that, for every \(T_0\)-space \(X\), the quasi-uniformity \((K\circ F)(X)\) is finer than the quasiuniformity \((F\circ T\circ K\circ F)(X)\). It is shown that four of them are a consequence of a general categorical result.
0 references
quasi-uniform space
0 references
quasi-uniform bicompletion
0 references