\(\text{Pre}T _{2}\) objects in topological categories (Q843759): Difference between revisions

Following the author, a topological space is called \(\mathrm{Pre}T_ 2\) if for any two distinct points, if there is a neighborhood of one missing the other, then the two points have disjoint neighborhoods [see \textit{M. Baran}, Indian J. Pure Appl. Math. 23, No.~5, 333--341 (1992; Zbl 0767.54014)]. The author has, previously, defined two notions of pre-Hausdorff \((\mathrm{Pre}T_ 2)\) objects [see loc. cit. and \textit{M. Baran} and \textit{H. Altindis}, Acta Math. Hung. 71, No.~1--2, 41--48 (1996; Zbl 0857.18002)]. It is worth pointing out that the notion of \((\mathrm{Pre}T_ 2)\) objects was used to characterize decidable objects [see \textit{M. V. Mielke}, Proceedings of the symposium on categorical topology, SoCaT 94, University of Cape Town, Rondebosch, South Africa, November 1994. Festschrift on the occasion of the 60th birthday of Guillaume Brümmer. Rondebosch: University of Cape Town, Department of Mathematics and Applied Mathematics. 155--160 (1999; Zbl 0986.54019)]. Another use of pre-Hausdorff objects is to define various forms of Hausdorff objects, regular objects, and normal objects in arbitrary topological categories [see \textit{M. Baran}, loc. cit., \textit{M. Baran} and \textit{H. Altindis}, loc. cit., \textit{M. Baran}, Indian J. Pure Appl. Math. 29, No.~1, 59--69 (1998; Zbl 0920.54009)]. The main purpose of the paper under review is to show that for a topological category \(\mathcal{E}\), the full subcategory \(\mathrm{Pre}T_ 2(\mathcal{E})\) whose objects are \(\mathrm{Pre}T_2\) objects of \(\mathcal{E}\) is bireflective and consequently it is a topological category. The concepts of \(T_ 0\), \(T_ 1\), and \(T_ 2\) objects in this topological category are equivalent.