The Nachbin compactification via convergence ordered spaces (Q688996)

The Nachbin (or Stone-Čech-ordered) compactification \(\beta_ 0X\) of a \(T_{3,5}\)-ordered topological ordered space \(X\) is defined as the largest \(T_ 2\)-ordered topological ordered compactification of this space. Suppose that \(X\) is a convergence ordered space. In this paper a convergence ordered compactification \((X^*,\varphi)\) of \(X\) is constructed, where \(X^*=\{\dot x:x \in X\}\cup X'\), \(X'\) is the set of all non-convergent maximal convex filters on \(X\) and \(\varphi(x)=\dot x\) for \(x\in X\). On \(X^*\) an equivalence relation \({\mathcal R}\) is defined such that \(X^*/{\mathcal R}\) is a compact, \(T_ 2\)-ordered convergence ordered space. Under special conditions \(C\) and 0 for \(X\), \(X^*/{\mathcal R}\) is a \(T_ 2\)-ordered convergence ordered compactification of \(X\) and the topological modification \(\lambda X\) of \(X\) has the Nachbin compactification \(\lambda(X^*/{\mathcal R})\). At conclusion the language of category theory is used, in particular it is shown that \(D\) is an epireflective subcategory of \(C\), where \(C\) means the category of all \(T_{3,5}\)-ordered convergence ordered spaces with increasing continuous maps as morphisms and \(D\) is the full subcategory of \(C\) consisting of all regular, compact, \(T_ 2\)-ordered convergence ordered spaces.