Idempotency of extensions via the bicompletion
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\).
- More on upper bicompletion-true functorial quasi-uniformities
- Bicompletion and Samuel bicompactification
- DISCRETE UNIFORM STRUCTURES AND QUASITOPOI
- Quasi-uniform structures determined by closure operators
- Functorial admissible quasi-uniformities on topological spaces
- A note on the relationship between Hutton's quasi-uniformities and Shi's quasi-uniformities
- The quasitopos hull of the category of uniform spaces -- a correction
- Cowellpoweredness of some categories of quasi-uniform spaces
- The quasitopos hull of the category of uniform spaces
- scientific article; zbMATH DE number 1340770
- An easier superrigid countable \(T_ 1\)-space
- Bicompleteness of the fine quasi-uniformity
- Bicompletion and Samuel bicompactification
- Direct reflections
- Functorial uniformization of topological spaces
- scientific article; zbMATH DE number 3789474 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 165171 (Why is no real title available?)
- scientific article; zbMATH DE number 3549841 (Why is no real title available?)
- scientific article; zbMATH DE number 1340770 (Why is no real title available?)
- scientific article; zbMATH DE number 510315 (Why is no real title available?)
- scientific article; zbMATH DE number 735406 (Why is no real title available?)
- ON CERTAIN FACTORIZATIONS OF FUNCTORS INTO THE CATEGORY OF QUASI-UNIFORM SPACES
- Prereflections and reflections
- The commuting of coreflectors in uniform spaces with completion
- Smyth completion as bicompletion
- Bicompletion and Samuel bicompactification
- scientific article; zbMATH DE number 510315 (Why is no real title available?)
- Topological monads from functorial quasi-uniformities
- Concrete functors determined by their restrictions to the \(T_0\) objects
- More on upper bicompletion-true functorial quasi-uniformities
This page was built for publication: Idempotency of extensions via the bicompletion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2471002)
