Tower extension of topological constructs
Dexue Zhang · Czech digital mathematics library · 2000
summary:Let $L$ be a completely distributive lattice and {\bf C} a topological construct; a process is given in this paper to obtain a topological construct $\bold C (L)$, called the tower extension of $\bold C$ (indexed by $L$). 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 of nice properties, for example, it preserves concrete reflectivity, concrete coreflectivity, and it preserves convenient hulls of topological construct, i.e., the extensional topological hulls (ETH), the cartesian closed topological hulls (CCTH) and the topological universe hulls (TUH) of topological constructs.