More on upper bicompletion-true functorial quasi-uniformities (Q719721): Difference between revisions

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.