On L-fuzzy topological semigroups (Q2367829)

With \(L\) as a complete Heyting algebra, \(\mu: X\to L\) an \(L\)-fuzzy subset of \(X\), the author has defined \(L\)-fuzzy topological space \((X,\mu,F)\) where \(F\subset L^ x\) satisfies some given conditions; he has defined the category FTOP by the collection of all \(L\)-fuzzy topological spaces with suitably defined morphisms. In a category \(C\) with products, a semigroup object has been defined and such objects of FTOP are termed as \(L\)-fuzzy topological semigroups. The author has also introduced a fuzzy topological semigroup and has proved that every topological semigroup \(X\) is a fuzzy topological semigroup with fuzzy topology \(F = \{g: X\to [0,1]/g\) is a lower semicontinuous map\}.