Compactification with respect to a generalized-net convergence on constructs (Q535360): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:33, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Compactification with respect to a generalized-net convergence on constructs |
scientific article |
Statements
Compactification with respect to a generalized-net convergence on constructs (English)
0 references
11 May 2011
0 references
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.
0 references
generalized net
0 references
convergence structure on a construct
0 references
categorical closure operator
0 references
separation
0 references
compactness
0 references