Topology in a category: Compactness.
Tower extension of topological constructs
Let be a completely distributive lattice and C a topological construct; a process is given in this paper to obtain a topological construct , called the tower extension of (indexed by ). This process contains the constructions of probabilistic topological spaces, probabilistic pretopological spaces, probabilistic pseudotopological spaces, limit tower spaces, pretopological approach spaces and pseudotopological approach spaces, etc, as special cases. It is proved that this process has a lot...