Skip to main content
Log in

Epireflective subcategories of TOP, T\(_2\)UNIF, UNIF, closed under epimorphic images, or being algebraic

  • Published:
Periodica Mathematica Hungarica Aims and scope Submit manuscript

Abstract

The epireflective subcategories of \(\mathbf{Top}\), that are closed under epimorphic (or bimorphic) images, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \) and \(\mathbf{Top}\). The epireflective subcategories of \(\mathbf{T_2Unif}\), closed under epimorphic images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is compact \(T_2 \} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{T_2Unif}\). The epireflective subcategories of \(\mathbf{Unif}\), closed under epimorphic (or bimorphic) images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{Unif}\). The epireflective subcategories of \(\mathbf{Top}\), that are algebraic categories, are \(\{ X \mid |X| \le 1 \} \), and \(\{ X \mid X\) is indiscrete\(\} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being varietal, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid X\) is compact \(T_2 \} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being algebraic, are \(\{ X \mid X\) is indiscrete\( \} \), and all epireflective subcategories of \(\{ X \mid X\) is compact \(T_2 \} \). Also we give a sharpened form of a theorem of Kannan-Soundararajan about classes of \(T_3\) spaces, closed for products, closed subspaces and surjective images.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. J. Adámek, H. Herrlich, G.E. Strecker, Abstract and Concrete Categories: The Joy of Cats (Wiley, New York). Reprint of the 1990 original. Reprints in Theory and Applications of Categories, vol. 17 (2006)

  2. R. Engelking, General Topology, revised and completed edition (Heldermann, Berlin). Sigma Series in Pure Mathematics, vol. 6 (1989)

  3. S.P. Franklin, D.J. Lutzer, B.V.S. Thomas, On subcategories of TOP. Trans. Am. Math. Soc. 225, 267–278 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  4. L. Gillman, M. Jerison, Rings of Continuous Functions. Reprint of the 1960 ed. (Springer, New York). Graduate texts in mathematics, vol. 43 (1976)

  5. A.W. Hager, A description of HSP-like classes, and applications. Pacific J. Math. 125, 93–102 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  6. H. Herrlich, Topologische Reflexionen und Coreflexionen (Springer, Berlin). Lecture notes in mathematics, vol. 78 (1968)

  7. H. Herrlich, Categorical topology 1971–1981, in General Topology and its Relations to Modern Analysis and Algebra V (Prague, 1981), pp. 279–383

  8. H. Herrlich, G.E. Strecker, Algebra \(\cap \) topology \(=\) compactness. Gen. Topol. Appl. 1, 283–287 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  9. H. Herrlich, G.E. Strecker, Category Theory. An introduction, 3rd edn., Sigma Series in Pure Mathematics, vol. 1 (Heldermann, Lemgo, 2007)

  10. J.R. Isbell, Uniform Spaces, Mathematical Surveys, vol. 12 (American Mathematical Society, Providence, 1964)

    Book  MATH  Google Scholar 

  11. V. Kannan, Reflexive cum coreflexive subcategories in topology. Math. Ann. 195, 168–174 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  12. V. Kannan, T. Soundararajan, Properties that are productive, closed-hereditary and surjective. Topol. Appl. 12, 141–146 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  13. S. MacLane, Categories for a Working Mathematician, 2nd edn., Graduate Texts in Mathematics, vol. 5 (Springer, New York, 1998)

  14. E.A. Michael, On representing spaces as images of metrizable and related spaces. Gen. Topol. Appl. 1, 329–343 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  15. D. Petz, A characterization of the class of compact Hausdorff spaces. Stud. Sci. Math. Hung. 12, 407–408 (1977)

    MathSciNet  MATH  Google Scholar 

  16. G. Richter, Kategorielle Algebra, Akad. Verl., Berlin, Studien zur Algebra und ihre Anwendungen, vol. 3 (1979)

  17. H. Bargenda, G. Richter, Varietal hulls of functors. Quaest. Math. 4, 121–158 (1980/1981)

  18. G. Richter, Algebraic categories of topological spaces, in Category Theory: Applications to Algebra, Logic, and Topology, ed. by K.H. Kamps, A. Pumplün, W. Tholen. Proceedings of the Gummerbach conference, 1981. Lecture notes in mathematics, vol. 962 (Springer, Berlin, 1982), pp. 263–271

  19. G. Richter, Separation properties in algebraic categories of topological spaces. Topol. Appl. 20, 79–87 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  20. G. Richter, Some remarks on the algebraic theory of compact Hausdorff spaces, in Contributions to General Algebra, vol. 3 (Vienna, 1984, ed. by G. Eigenthaler, et al.), Hölder-Pichler-Tempsky, Wien und Teubner, Stuttgart, 1985, pp. 325–330

  21. G. Richter, A characterization of the Stone-Čech compactification, in Categorical Topology and its Relation to Analysis, Algebra and Combinatorics, ed. by J. Adámek, S. MacLane. Proceedings of the Conference in Prague, 1988 (World Scientific Publisher, Teaneck, 1989), pp. 462–476

  22. G. Richter, Characterizations of algebraic and varietal categories of topological spaces. Topol. Appl. 42, 109–125 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  23. G. Richter, Axiomatizing the category of compact Hausdorff spaces, in Category Theory at Work, ed. by H. Herrlich, H.-E. Porst (Heldermann, Berlin, 1991), pp. 199–216

    Google Scholar 

  24. G. Richter, Axiomatizing algebraically behaved categories of Hausdorff spaces, in Category Theory 1991 (Montreal, PQ, 1991). CMS Conference Proceedings 13 (AMS, Providence, 1992), pp. 367–389

  25. G. Richter, Algebraically behaved categories of ordered Hausdorff spaces, in Recent developments of general topology and its applications, ed. by W. Gähler et al.. International Conference in Memory of F. Hausdorff (1868–1942), Berlin, 1992. Mathematical Research, vol. 67, pp. 287–292

  26. G. Richter, Priestley type dualities revisited, in Symposium on Categorical Topology (Rondebosch, 1994), University of Cape Town, Rondebosch, pp. 201–214 (1999)

  27. G. Richter, Coreflectivity of \(E\)-monads and algebraic hulls. Banaschewski Festschrift (Cape Town, 1996). Appl. Categ. Struct. 8, 161–173 (2000)

    Article  MATH  Google Scholar 

  28. E. Wattel, The Compactness Operator in Set Theory and Topology. Mathematical Centre Tracts, vol. 21 (Mathematisch Centrum, Amsterdam, 1968)

Download references

Acknowledgments

The author expresses his thanks to D. Petz, for useful conversations on the subject of the paper, and to G. Richter, for kindly having sent him some of his papers. Research (partially) supported by Hungarian National Foundation for Scientific Research, Grant nos. K68398, K75016, K81146.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Endre Makai Jr.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Makai, E. Epireflective subcategories of TOP, T\(_2\)UNIF, UNIF, closed under epimorphic images, or being algebraic. Period Math Hung 72, 112–129 (2016). https://doi.org/10.1007/s10998-016-0110-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10998-016-0110-y

Keywords

Mathematics Subject Classification

Navigation