Chapter IX: Compactness
Pseudotopologies are determined by convergent ultrafilters. Compactness, one of the most consequential notions of analysis and topology, can be characterized in terms of convergent ultrafilters. This is more than an analogy. Compactness turns out to be a pseudotopological notion, as a convergence is compact whenever its pseudotopologization is.