A characterization of the category \(Q\)-\(\mathbf{TOP}\) (Q2445542)

There exists a convenient characterization of the construct \textbf{Top} of topological spaces through the so-called \textit{Sierpinski object}~[\textit{E. G. Manes}, General Topology Appl. 4, 341--360 (1974; Zbl 0289.54003)], which, in this particular case, is just the well-known \textit{Sierpinski space} \((\{0,1\}\), \(\{\varnothing,\,\{1\},\,\{0,1\}\})\). In~[\textit{A. K. Srivastava}, J. Math. Anal. Appl. 103, 103--105 (1984; Zbl 0555.54006)], this Sierpinski object technique has been used to characterize the category \([0,1]\)-\textbf{Top} of fuzzy topological spaces (in the sense of~[\textit{C. L. Chang}, J. Math. Anal. Appl. 24, 182--190 (1968; Zbl 0167.51001)]), providing thereby a fuzzification of the Sierpinski space in the form of \(([0,1]\), \(\{\underline{0},\,id_{[0,1]},\,\underline{1}\})\), where \(\underline{0}\) (resp. \(\underline{1}\)) is the constant map with value \(0\) (resp. \(1\)), and \(id_{[0,1]}\) is the identity map. The present paper gives a similar characterization (Theorem~4.1 on page~48) of the category \(Q\)-\textbf{Top} of \(Q\)-topological spaces of~[\textit{S. A. Solovyov}, Fuzzy Sets Syst. 159, No. 19, 2567--2585 (2008; Zbl 1177.54004)], in which \(Q\) is an algebra of an arbitrary (generalized) variety (i.e., allowing a class of not necessarily finitary operations). The respective Sierpinski object now has the form of \((Q\), \(\langle id_Q\rangle)\), where \(\langle id_Q\rangle\) is the subalgebra of \(Q^Q\) (all the maps \(Q\rightarrow Q\)), which is generated by \(id_Q\). This new characterization of the authors includes the above-mentioned two as particular cases.