Tensor products in categories of topological spaces (Q1360360)

In this paper symmetric monoidal closed structures on coreflective subcategories of the category of (Hausdorff) topological spaces are studied. It is shown that the category \(\mathcal P\)\textit{srad} of pseudoradial spaces, i.e., spaces for which each nonclosed subset \(A\) contains a well ordered net that converges to a point not in \(A\), admits at most two tensor products, i.e., symmetric monoidal closed structures, and that the category \({\mathcal H}{\mathcal P}\)\textit{srad} of Hausdorff pseudoradial spaces admits exactly two tensor products. A description of these tensor products along with other related results on various subcategories rests on the fact that the category \(({\mathcal H}){\mathcal P}\)\textit{srad} can be viewed as the coreflective hull, in the category of (Hausdorff) topological spaces, of the class \(C=\{C(\alpha)\}\) of spaces where, for each infinite cardinal \(\alpha\), \(C(\alpha)\) is the topological space with underlying set \(\alpha+1=\alpha\cup\{\alpha\}\) and with \(U\) open if and only if \(U\subset\alpha\) or \(\text{card}(\alpha-U)<\alpha\). The general results now follow from a study of tensor products on the coreflective hulls of the various spaces \(C(\alpha)\). By using similar methods with \(C(\alpha)\) replaced by \(K(\alpha)\), the topological space on \(\alpha+1\) with the usual order topology, it is shown that the coreflective hull, in the category of Hausdorff spaces, admits a proper class of tensor products.