Compactification of lattice-valued convergence spaces (Q968938)

If \((X,\lim)\) is a stratified \(L\)-generalized convergence space, we write \((X,\lim)\in |\text{SL}-\text{GCS}|\). Among others, the following results are established {\parindent5mm \begin{itemize}\item[1.] Tychonoff theorem: Let \((X_i,\lim_i)\in|\text{SL}- \text{GCS}|\) for \(i\in J\). Let \((\prod_{i\in J}X_i,\pi-\lim)\) be the product space. Then \((\prod_{i\in J}X_i,,\pi-\lim)\) is compact \(\Leftrightarrow\forall i\in J: (X_i,\lim_i)\) is compact. \item[2.] Let \((X^*,\lim^*)\) be the Richardson compactification of \((X,\lim)\). If \((X,\lim)\in |\text{SL}-\text{GCS}|\) is a noncompact \(T_2\)-space and \((\overline X,\varlimsup)\in |\text{SL}-\text{GCS}|\) is a compact regular \(T_2\)-space and \(\varphi: (X,\lim)\to (\overline X,\varlimsup)\) is continuous, then there is a unique continuous mapping \(\varphi^*:(X^*,\lim^*)\to (\overline X,\varlimsup)\to (\overline X,\varlimsup)\) such that \(\varphi= \varphi^*\circ i\). \end{itemize}}