Idempotency of extensions via the bicompletion (Q2471002)

This paper is a contribution to categorical quasi-uniform topology [see, e.g., \textit{H. Künzi}, ``Quasi-uniform spaces'', in: Encyclopedia of general topology, Amsterdam: Elsevier (2004; Zbl 1059.54001), pp 266--270], and is a continuation of the authors' paper [Appl. Categ. Struct. 10, No. 3, 317--330 (2002; Zbl 1008.54016)]. We quote the authors' abstract: ``Let \(\mathbf {Top}_0\) be the category of topological \(T_{0}\)-spaces, \(\mathbf {QU}_0\) the category of quasi-uniform \(T_{0}\)-spaces, \(T : \mathbf {QU}_0 \to \mathbf {Top}_0\) the usual forgetful functor and \(K :\mathbf {QU}_0 \to \mathbf {QU}_0\) the bicompletion reflector with unit \(k : 1 \to K\). Any \(T\)-section \(F : \mathbf {Top}_0 \to \mathbf {QU}_0\) is called \(K\)-true if \(KF = FTKF\), and upper (lower) \(K\)-true if \(KF\) is finer (coarser) than \(FTKF\). The literature considers important \(T\)-sections \(F\) that enjoy all three, or just one, or none of these properties. It is known that \(T(K, k)F\) is well-pointed if and only if \(F\) is upper \(K\)-true. We prove the surprising fact that \(T (K, k)F\) is the reflection to \textbf{Fix}\((TkF)\) whenever it is idempotent. We also prove a new characterization of upper \(K\)-trueness. We construct examples to set apart some natural cases. In particular we present an upper \(K\)-true \(F\) for which \(T(K, k)F\) is not idempotent, and a \(K\)-true \(F\) for which the coarsest associated \(T\)-preserving coreflector in \(\mathbf {QU}_0\) is not stable under \(K\).''