Productivity of coreflective subcategories of semitopological groups (Q328641)

\textit{H. Herrlich} and \textit{M. Hušek} [Commentat. Math. Univ. Carol. 40, No. 3, 551--560 (1999; Zbl 1009.54041)] investigated productivity of coreflective subcategories \({\mathcal C}\) of topological groups. For example, they proved that a bicoreflective subcategory \(\mathcal C\) of \(\mathcal K\) is \(\kappa\)-productive provided it contains a \(\kappa\)-productive bicoreflective subcategory of \(\mathcal K\), and a bicoreflective subcategory of \(\mathcal K\) is either productive or it is exactly \(\kappa\)-productive for some submeasurable cardinal \(\kappa\), where \(\mathcal K\) is a surreflective subcategory of TopGr (i.e., \(\mathcal K\) is productive and hereditary in ToPGr). In this paper, the authors investigate similar situations in semitopological groups and quasitopological groups. Let SToPGr (PToPGr) be the category with all semitopological (paratopological) groups as objects and continuous homomorphisms as morphisms, and \(\mathcal P\) be a category containing STopGr as an object-full subcategory such that every \(\mathcal P\)-morphism is a group homomorphism. For a class \(\mathcal A\) of pairs \((A,A')\) of semitopological groups such that \(A'\) is finer than \(A\), let \({\mathcal C}({\mathcal P},{\mathcal A})\) be the class of those semitopological groups \(X\) having the property that every \(\mathcal P\)-morphism \(X\to A\), \((A,A')\in{\mathcal A}\) is continuous as a map \(X\to A'\). Then the class \({\mathcal C}({\mathcal P},{\mathcal A})\) is bicoreflective in STopGr, and on the other hand every bicoreflective subcategory of STopGr is of the form \({\mathcal C}({\mathcal P},{\mathcal A})\). The authors prove the following: (1) If \(A'\in\) PTopGr for every \((A,A')\in{\mathcal A}\) then the class \({\mathcal C}({\mathcal P},{\mathcal A})\) is finitely productive. (2) If \({\mathcal C}({\mathcal P},{\mathcal A})\) is finitely productive in STopGr, \(A\) has WSSS for every \((A,A')\in{\mathcal A}\) and every \(\mathcal P\)-morphism is feebly sequentially continuous, then \({\mathcal C}({\mathcal P},{\mathcal A})\) is productive. (3) If every \(A'\) from the pairs \((A,A')\in{\mathcal A}\) is paratopological then either the productivity number of \({\mathcal C}({\mathcal P},{\mathcal A})\) is a submeasurable cardinal or \({\mathcal C}({\mathcal P},{\mathcal A})\) is productive.