A generalisation of the functional approach to compactness (Q2390515)

This paper concerns a categorical theory of compactness, closed maps and certain related notions motivated by the well-known result: a space \(X\) is compact iff the projection \(\pi_Y:X\times Y\rightarrow Y\) maps closed sets in \(X\times Y\) to closed sets in \(Y\), for any space \(Y\). The author introduces a categorical notion of closure operator \(\alpha\) on a category \(\mathcal C\) with respect to \(\mathcal M\) a class of monomorphisms, and employs a functional approach to general topology. The author states that he pursues the following generalization of the above result: A space \(X\) is compact iff for any space Y, every \(\alpha\)-closed subspace \(M\subset X\times Y\) is projected to a \(\beta\)-closed subspace \(\pi_Y(M)\) of \(Y\), where \(\alpha\) and \(\beta\) are different closure operators. This permits the inclusion of ``asymmetric'' compactness properties into the categorical theory. The resulting theory is akin to that of \textit{E. Giuli} [General topology and applications, Proc. 5th Northeast Conf., New York/NY (USA) 1989, Lect. Notes Pure Appl. Math. 134, 73--92 (1991; Zbl 0771.54010)], \textit{E. Giuli} and \textit{M. Hušek} [Boll. Unione Mat. Ital., VII. Ser., B 11, No.~3, 605--621 (1997; Zbl 0887.54012)], and \textit{N. Noble} [Trans. Am. Math. Soc. 140, 381--391 (1969; Zbl 0192.59701) and ibid. 160, 169--183 (1971; Zbl 0233.54004)].