Sequences and related closure and compactness properties in frames
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.
scientific article; zbMATH DE number 7481215
scientific article