T0- and T1-reflections
Abstract: In an abstract category with suitable
notions of subobject, closure and point, we discuss the
separation axioms T0 and T1. Each of the arising
subcategories is reflective. We give an iterative construction
of the reflectors and present characteristic examples.
