Completion of quasi-topological groups (Q2390519)

On topological groups there are several natural uniformities inducing the original group topology, namely right, left, upper (two-sided) and lower (Roelcke) uniformities. The situation is similar in quasi-topological groups, where one requires only separate continuity of the multiplication mapping, if instead of uniformities one considers semi-uniformities (where the triangular inequality is not required). In the paper under review the author examines four variations of Cauchy filters on semi-uniform spaces and, for each one, defines the corresponding complete quasi-topological groups: a quasi-topological group is \textit{complete} if every Cauchy filter on the two-sided semi-uniformity converges. She then shows, using the theory of Hausdorff complete semi-uniform spaces of [\textit{B. Batíková}, Appl. Categ. Struct. 15, No.~5--6, 483--491 (2007; Zbl 1140.54008)], that the corresponding four categories of Hausdorff complete quasi-topological groups are epireflective subcategories of the category of Hausdorff quasi-topological groups, where the reflection arrows are not necessarily embeddings. Several examples of quasi-topological groups that cannot be embedded into a complete quasi-topological group are presented.