\textbf{K}-reflections of product spaces
Let \textbf{K} be a full subcategory of the category \textbf{Top\({}_0\)} of \(T_0\) topological spaces. The objects of \textbf{K} are then called \textbf{K}-spaces. The category \textbf{K} may have some of the following properties: (K\({}_1\)) Homeomorphic copies of \textbf{K}-spaces are \textbf{K}-spaces. (K\({}_2\)) All sober spaces are \textbf{K}-spaces, namely, the category \textbf{Sob} of sober spaces (where \textit{sober} means that every irreducible closed subset of a space is the closure of a unique point of this space) is contained in \textbf{K}. (K\({}_3\)) In a sober space \(S\), the intersection of every family of \textbf{K}-subspaces is a \textbf{K}-space. (K\({}_4\)) Continuous maps \(f:S\rightarrow T\) between sober spaces \(S\) and \(T\) are \textbf{K}-continuous, namely, for every \textbf{K}-subspace \(K\) of \(T\), the inverse image \(f^{-1}(K)\) is a \textbf{K}-subspace of \(S\) (see, e.g.,~[\textit{K. Keimel} and \textit{J. D. Lawson}, Ann. Pure Appl. Logic 159, No. 3, 292--306 (2009; Zbl 1172.54016)] for more details). A subset \(A\) of a \(T_0\) space \(X\) is called a \textbf{K}-\textit{determined set} provided that for every continuous map \(f:X\rightarrow Y\) to a \textbf{K}-space \(Y\), there exists a unique \(y_A\in Y\) such that \(\overline{f(A)} = \overline{\{y_A\}}\), where \(\overline{S}\) stands for the closure of a set \(S\) (see, e.g.,~[\textit{X. Xu}, Topology Appl. 272, Article ID 107076, 18 p. (2020; Zbl 1434.54007)] for more details). The present paper considers some properties of the category \textbf{K}, which make it a reflective subcategory of \textbf{Top\({}_0\)} and then studies several cases, when this reflection preserves products. More precisely, given a full subcategory \textbf{K} of \textbf{Top\({}_0\)} containing \textbf{Sob}, the author shows that the product of an arbitrary family of \textbf{K}-determined sets is a \textbf{K}-determined set, and if \textbf{K} is \textit{adequate}, then the \textbf{K}-reflection preserves arbitrary products of \(T_0\) spaces. In particular, the Keimel-Lawson reflection, sobrification, well-filtered reflection, and \(d\)-reflection all preserve arbitrary products of \(T_0\) spaces, and DCPO-completion (where DCPO stands for \textit{directed complete partially ordered set (poset)}) preserves the product of a family \(\{P_i\mid i\in I\}\) of posets provided that the Scott topology of the product \(\prod_{i\in I}P_i\) is the product of the Scott topologies of the factors. The paper is well written, provides its required preliminaries, and will be of interest to all researchers studying categories of ordered topological spaces.
- A complete Heyting algebra whose Scott space is non-sober
- A direct approach to \(K\)-reflections of \(T_0\) spaces
- A direct characterization of the monotone convergence space completion
- An upper power domain construction in terms of strongly compact sets
- Categories of locally hypercompact spaces and quasicontinuous posets
- Continuous Lattices and Domains
- D-completions and the \(d\)-topology
- Dcpo-completion of posets
- First countability, \( \omega \)-well-filtered spaces and reflections
- scientific article; zbMATH DE number 3768575 (Why is no real title available?)
- scientific article; zbMATH DE number 851999 (Why is no real title available?)
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- On \(d\)-spaces
- On \(T_0\) spaces determined by well-filtered spaces
- On H-sober spaces and H-sobrifications of \(T_0\) spaces
- On the sobrification remainder sX-X
- On topological Rudin's lemma, well-filtered spaces and sober spaces
- On well-filtered reflections of \(T_0\) spaces
- On well-filtered spaces and ordered sets
- Quasicontinuous domains and the Smyth powerdomain
- Sobrification of partially ordered sets
- The Spectral Theory of Distributive Continuous Lattices
- The strength of prime separation, sobriety, and compactness theorems
- Well-filtered spaces and their dcpo models
- Well-filtered spaces, compactness, and the lower topology
- Well-filterifications of topological spaces
- The answer to a problem posed by Zhao and Ho
- Non-reflective categories of some kinds of weakly sober spaces
- A direct approach to \(K\)-reflections of \(T_0\) spaces
- On well-filtered reflections of \(T_0\) spaces
- scientific article; zbMATH DE number 6520724 (Why is no real title available?)
- F-nodec spaces
- scientific article; zbMATH DE number 7732320 (Why is no real title available?)
This page was built for publication: \textbf{K}-reflections of product spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219294)
