Samenvatting
The aim of this note is to introduce concepts of sequence and sequence convergence in the point-free setting. These are then used 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.
Originele taal-2 | English |
---|---|
Artikelnummer | 107912 |
Aantal pagina's | 12 |
Tijdschrift | Topology and its Applications |
Volume | 309 |
DOI's | |
Status | Published - 15 mrt. 2022 |
Bibliografische nota
Publisher Copyright:© 2021 Elsevier B.V.