Abstract:In an abstract category with suitable notions of subobject, closure and point, we discuss the separation axioms $T_0$ and $T_1$. Each of the arising subcategories is reflective. We give an iterative construction of the reflectors and present characteristic examples.
Keywords: factorization system, closure operator, separation axioms, prereflection, reflection
AMS Subject Classification: 18A40, 18B30, 54A05, 54D10