Compactification with respect to a generalized-net convergence on constructs (Q535360)

By replacing the construct of directed sets and cofinal maps by an arbitrary construct one naturally generalizes classical nets. These generalized nets make possible to express convergence on objects of a construct, as introduced by the author [``Convergence structures for categories'', Appl. Categ. Struct. 9, No.~6, 557--570 (2001; Zbl 1006.18005)], and consequently, to speak on convergence separation and convergence compactness in a category. In the paper under review, the author continues his study of convergence compactness in a category and, in particular, convergence compactifications. Its results generalize results of previous papers about compactness and compactification of set-theoretic convergence spaces and show that separation and compactness with respect to a convergence structure on a construct satisfy basic properties similar to the ones of the classical separation and compactness of topological spaces. Further, the paper provides some properties of convergence compactness and one-point compactifications which do not hold for classical compactness of topological spaces. The author claims that these properties make constructs with a convergence structure more convenient for various applications than the classical construct of topological spaces.