Sums of \(L\)-fuzzy topological spaces (Q2492324)

This paper continues the work of \textit{R. Lowen} [J. Math. Anal. Appl. 58, 11--21 (1977; Zbl 0347.54002)], \textit{U. Höhle} and \textit{A. Sostak} [Mathematics of fuzzy sets. Logic, topology, and measure theory. Dordrecht: Kluwer Academic Publishers. Handb. Fuzzy Sets Ser. 3, 123--272 (1999; Zbl 0977.54006)], \textit{S. E. Rodabaugh} [ibid. 273--388 (1999; Zbl 0968.54003)], and \textit{G. W. Meng} [Fuzzy Sets Syst. 59, No. 1, 65--77 (1993; Zbl 0796.54006)]; the author presents his main results in two aspects. First, he proves that Kubiak-Lowen's adjunction \(\omega_L\dashv\iota_l : L\)-\(\mathbf{TOP}\to \mathbf{TOP}\) has an extension \(\omega\dashv\iota: L\)-\(\mathbf{FTOP}\to L\)-\(\mathbf{FYS}\), where \(L\)-\(\mathbf{TOP}\) (resp., \(\mathbf{TOP}\), \(L\)-\(\mathbf{FTOP}\), \(L\)-\(\mathbf{FYS}\)) is the category of \(L\)-topological spaces (resp., topological spaces, \(L\)-fuzzy topological spaces, \(L\)-fuzzifying topological space). Second, he shows that the \(L\)-fuzzy topological property of being a quasi-\(T_0\) (resp., \(T_0\), \(T_1\), \(T_2\)) \(L\)-fuzzy topological space in a sense is additive.