The R-completion of closure spaces
Given a full subcategory \(\mathbf{R}\) of the category \(\mathbf{CL_0}\) of \(T_0\)-closure spaces and continuous maps, satisfying four necessary conditions, the authors construct an \(R\)-completion for closure spaces. This completion is a reflection into the category \(\mathbf{R}\). This general construction is applicable to several known situations. It encompasses previous work of some of the authors about \(Z\)-completions, where \(Z\) is a system of subsets on the category \(\mathbf{CL_0},\) [\textit{Z. Zhang} et al., Soft Comput. 23, No. 21, 10699--10708 (2019; Zbl 1436.54004)]. The authors show that every category of \(Z\)-convergence spaces is a category \(\mathbf{R}\) satisfying the four conditions. In this way the subset system \(Z\) of the \(Z\)-completion is not restricted to hereditary cases. Conversely, given a category \(\mathbf{R}\), there exists a subset system such that the category of \(Z\)-convergence spaces is exactly the category \(\mathbf{R}\) and the \(R\)-completion coincides with the \(Z\)-completion. Furthermore the authors discuss hereditary \(Z\)-subset systems in their new context and apply their framework to the \(K\)-completion of topological spaces in the sense of [\textit{K. Keimel} and \textit{J. D. Lawson}, Ann. Pure Appl. Logic 159, No. 3, 292--306 (2009; Zbl 1172.54016)]. Particular cases such as the (bounded) sobrification also fit into the new construction.
- A unified method for completions of posets and closure spaces
- \(K\)-completions of \(T_0\)-spaces
- Productivity of Zariski-compactness for constructs of affine spaces
- A uniform approach to completions of posets
- On complete objects in the category of T0 closure spaces
- Connectedness and separation in the category of closure spaces
- Raster convergence with respect to a closure operator
- scientific article; zbMATH DE number 1496859
- D-completions and the \(d\)-topology
- On countable choice and sequential spaces
- \(Z\)-join spectra of \(Z\)-supercompactly generated lattices
- A direct approach to \(K\)-reflections of \(T_0\) spaces
- A direct characterization of the monotone convergence space completion
- A unified method for completions of posets and closure spaces
- A uniform approach to inductive posets and inductive closure
- Chain-complete posets and directed sets with applications
- Closure spaces and completions of posets
- Continuous Lattices and Domains
- D-completions and the \(d\)-topology
- Dcpo-completion of posets
- Existence of well-filterifications of \(T_0\) topological spaces
- Generalization of Continuous Posets
- Generalized continuous posets and a new Cartesian closed category
- scientific article; zbMATH DE number 3768575 (Why is no real title available?)
- scientific article; zbMATH DE number 3993651 (Why is no real title available?)
- On \(T_0\) spaces determined by well-filtered spaces
- On well-filtered reflections of \(T_0\) spaces
- The category of supercontinuous posets
- The category of Z-continuous posets
- Well-filterifications of topological spaces
- A theory of finite closure spaces based on implications
- Dieudonné completeness of a space of closed subsets and extensions of an open-closed map
- Closure and nonclosure properties of the compressible and rankable sets
- A direct characterization of the monotone convergence space completion
- The Complete Integral Closure of R[ X ]
- scientific article; zbMATH DE number 2052941 (Why is no real title available?)
- On complete objects in the category of T0 closure spaces
- scientific article; zbMATH DE number 815356 (Why is no real title available?)
- A unified characterization of reflective subcategories of \(\mathcal{Z}\)-closure spaces
- The reflectivity and reflective hull of closure space categories
- A unified method for completions of posets and closure spaces
This page was built for publication: The \(R\)-completion of closure spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052564)
