Tensor products in categories of topological spaces (Q1360360): Difference between revisions

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.