\textbf{K}-reflections of product spaces (Q2219294)

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.