Category-theoretic fuzzy topological spaces and their dualities (Q2445539): Difference between revisions

There exists the well-known adjoint situation between the categories \textbf{Top} of topological spaces and \textbf{Loc} of locales (the dual of the category \textbf{Frm} of frames), which restricts to an equivalence between the categories \textbf{Sob} of sober topological spaces and \textbf{SLoc} of spatial locales (see, e.g., [\textit{P. T. Johnstone}, Stone spaces. Cambridge Studies in Advanced Mathematics, 3. Cambridge etc.: Cambridge University Press. (1982; Zbl 0499.54001)]). The functor \textbf{Top}\(\,\rightarrow\,\)\textbf{Loc} assigns to a topological space \((X,\tau)\) its topology \(\tau\), and the functor \textbf{Loc}\(\,\rightarrow\,\)\textbf{Top} maps a locale \(A\) to the set \(Pt(A)\) of frame homomorphisms \(A\rightarrow\mathsf{2}\) (in which \(\mathsf{2}\) is a two-element locale), which is equipped with the topology \(\{U_a\,|\,a\in A\}\), where \(U_a=\{p\in Pt(A)\,|\,p(a)=\top_A\}\) (here \(\top_A\) is the top element of \(A\)). The present paper introduces a category-theoretic generalization of the above equivalence, the main purpose of which is to provide a convenient framework for incorporating (and, therefore, dealing with) numerous lattice-valued (and variety-based) analogues of sobriety and spatiality (see, e.g.,~[\textit{S. E. Rodabaugh}, in: Applications of category theory to fuzzy subsets. Based on the eleventh international seminar on fuzzy set theory, held in Linz, Austria, September 1989. Applications of category theory to fuzzy subsets, Mat. 11th Int. Semin. Fuzzy Set Theory, Linz/Austria 1989, Theory Decis. Libr., Ser. B 14, 178--231 (1992; Zbl 0789.18005)]). More precisely, starting with a category \textbf{C}, which, firstly, has products, and, secondly, is equipped with a suitable factorization structure for morphisms (a slight modification of that of~[\textit{J. Adámek} et al., Repr. Theory Appl. Categ. 2006, No. 17, 1--507 (2006; Zbl 1113.18001)]), the author defines a (concrete) category \textbf{C}-\(\mathcal{M}\)-\textbf{GTop} of generalized topological spaces (Definition~3.6 on page~5), the objects of which are pairs \(((C_i)_{i\in I},\,m:\tau\rightarrow\prod_{i\in I}C_i)\), where \((C_i)_{i\in I}\) is a family of \textbf{C}-objects, and \(m\) is a \textbf{C}-morphism, which, moreover, is an element of some fixed class of \textbf{C}-morphisms~\(\mathcal{M}\). The factorization structure in question (of which \(\mathcal{M}\) is a part) ensures then that the (concrete) category \textbf{C}-\(\mathcal{M}\)-\textbf{GTop} is topological (Proposition~3.10 on page~7). Additionally, the author introduces a category \textbf{Src}(\textbf{C}) (Definition~4.1 on page~10), the objects of which are small sources in \textbf{C}, i.e., set-indexed families of \textbf{C}-morphisms \((h_i:C\rightarrow C_i)_{i\in I}\). Theorem~4.8 on page~14 provides an adjunction between the categories \textbf{C}-\(\mathcal{M}\)-\textbf{GTop} and \textbf{Src}(\textbf{C})\({}^{op}\), which is an analogue of the above-mentioned \textbf{Top}~--~\textbf{Loc} adjunction. With the help of the suitably defined notions of sobriety (Definition~6.4 on page~21) and spatiality (Definition~6.1 on page~20), the author arrives at an extension of the above-mentioned \textbf{Sob}~--~\textbf{SLoc} equivalence (Theorem~6.7 on page~21, in which Theorem~6.7\,(vi) provides the extension in question). The paper is well written and carefully lists its required preliminaries. The obtained results, however, are often quite technical, but still will certainly be of interest to all those researchers, who are interested in categorical fuzzy topology.