Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call