Weak and strong structures and the \(T_{3.5}\) property for generalized topological spaces (Q1677523)

In this paper, the authors introduce the concept of products, sums, subspaces, quotients, and the complete lattice of generalized topologies on a given set in the categorical sense. Also, completely regular \(T_{3.5}\) generalized topological spaces and \(\kappa\)-compact generalized topological spaces are defined. For \(\kappa=\aleph_{0}\) this is compactness; for \(\kappa=\aleph_{1}\) this is the Lindelöf property. The following results are proved: (1)\, a generalized topological space is \(T_{3.5}\) if and only if it is a subspace of some power of the generalized topological space \([0, 1]\), if and only if it is a subspace of a normal \(T_{4}\) generalized topological space; (2)\, subspaces and products of \(T_{0}\), \(T_{1}\), \(T_{2}\), regular, \(T_{3}\), completely regular or \(T_{3.5}\) generalized topological spaces are \(T_{0}\), \(T_{1}\), \(T_{2}\), regular, \(T_{3}\), completely regular or \(T_{3.5}\), respectively. Also, normality is productive for generalized topological spaces; (3)\, for any infinite cardinal \(\kappa\), \(\kappa\)-compactness is closed hereditary and productive for generalized topological spaces, and is also inherited by surjective images for generalized topological spaces; (4)\, for ordered spaces \((X, \leqq)\) there is a natural generalized topology on \(X\), and the continuous functions between two such spaces \(X, Y\), for \(| X| , | Y | \geqq 2\) are exactly the monotone maps continuous in the respective order topologies.