Sequences and related closure and compactness properties in frames (Q2077295)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sequences and related closure and compactness properties in frames |
scientific article |
Statements
Sequences and related closure and compactness properties in frames (English)
0 references
25 February 2022
0 references
The paper introduces concepts of sequence and sequence convergence in the point-free setting and uses them to define sequential closedness and associated compactness properties in frames. The interplay of these closure and compactness notions are investigated. Relating back to the pointed setting provides additional insight into an asymmetric Kuratowski-Mrówka-type theorem for countable compactness in general topology.
0 references
frame
0 references
point-free topology
0 references
sequence
0 references
countable compactness
0 references
sequentially closed
0 references
