A Unified Characterization of Reflective Subcategories of \(\mathcal {Z}\)-closure Spaces

Abstract

This paper introduces and investigates the category \({\textbf {CL}} _{\mathcal {Z}}\) of \(\mathcal {Z}\)-closure spaces. These spaces are defined based on a subset system \(\mathcal {Z}\) on the category CLAT of complete lattices. Specifically, a closure space X is called a \(\mathcal {Z}\)-closure space if its lattice of closed sets \(\Gamma (X)\) is closed under unions of \(\mathcal {Z}\)-sets (members of \(\mathcal {Z}(\Gamma (X))\)). We introduce the concept of \(\mathcal {Z}\)-irreducible sets and define an associated subset system \(\mathcal {Z}_{I}\) on the category \({\textbf {CL}} _{0}\) of \(T_0\) closure spaces. Utilizing the theory of Z-completions and the b-closure operator, we provide a complete characterization of reflective subcategories of \({\textbf {CL}} _{\mathcal {Z}}\) that contain a specific non-\(T_{1}\) space (which is pointed under certain conditions). This characterization links reflectivity to the properties of being a K-category and being equivalent to a category \({\textbf {CCS}} _Z\) of Z-convergence \(\mathcal {Z}\)-closure spaces, where Z is a subset system coarser than \(\mathcal {Z}_{I}\) on \({\textbf {CL}} _{\mathcal {Z}}\). Furthermore, we present a unified construction for the reflective hull of subcategories within \({\textbf {CL}} _{\mathcal {Z}}\). Finally, we apply the main results to several concrete category instances, including closure spaces (\({\textbf {CL}} _0\)), topological spaces (\({\textbf {TOP}} _0\)), P-spaces (\({\textbf {PTOP}} _0\)), convex spaces (\({\textbf {CONV}} _0\)), and Alexandroff spaces (\({\textbf {ALEX}} _0\)), thereby unifying and generalizing results concerning reflectivity in these categories.