Abstract
Herrlich and Strecker characterized the category Comp 2 of compact Hausdorff spaces as the only nontrivial full epireflective subcategory in the category Top 2 of all Hausdorff spaces that is concretely isomorphic to a variety in the sense of universal algebra including infinitary operations. The original proof of this result requires Noble's theorem, i.e. a space is compact Hausdorff iff every of its powers is normal, which is far from being elementary. Likewise, Petz' characterization of the class of compact Hausdorff spaces as the only nontrivial epireflective subcategory of Top 2, which is closed under dense extensions (= epimorphisms in Top 2) and strictly contained in Top 2 is based on a result by Katětov stating that a space is compact Hausdorff iff its every closed subspace is H-closed. This note offers an elementary approach for both, instead.
Similar content being viewed by others
References
Herrlich, H. and Strecker, G. E.: Algebra ∩ Topology = Compactness, Gen. Top. Appl. 1 (1971), 283–287.
Herrlich, H. and Strecker, G. E.: Category Theory, 2nd edn, Heldermann, Berlin, 1982.
Katětov, M.: Über H-abgeschlossene und bikompakte Räume, Časopis Pěst. Mat. Fys. 69 (1940), 36–49.
Linton, F. E. J.: Some aspects of equational categories, in Proc. Conf. Categorical Algebra, Springer, Berlin, Heidelberg, 1966, pp. 84–94.
Noble, N.: Products with closed projections II, Trans. Amer. Math. Soc. 160 (1971), 169–183.
Petz, D.: A characterization of the class of compact Hausdorff spaces, Studia Sc. Math. Hung. 12 (1977), 407–408.
Richter, G.: A characterization of the Stone-Čech-compactification, in Categorical Topology, World Scientific, Singapore, 1989, pp. 462–476.
Richter, G.: Characterizations of algebraic and varietal categories of topological spaces, Topology Appl. 42 (1991), 109–125.
Richter, G.: Axiomatizing algebraically behaved categories of Hausdorff spaces, Canadian Mathematical Society Conference Proceedings 13 (1992), 367–389.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Richter, G. An elementary approach to ‘Algebra ∩ topology = compactness’. Appl Categor Struct 4, 443–446 (1996). https://doi.org/10.1007/BF00122689
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00122689