On the category of fixed basis frame valued topological groups (Q835240)

Let \(L\) be a frame. It is proved that the category of \(L\)-topological groups is topological over the category of groups; and that every stratified \(L\)-topological group is an \(L\)-uniform space in the sense of \textit{J. Gutiérrez García, M. A. de Prada Vicente} and \textit{A. Šostak} [A unified approach to the concept of fuzzy \(L\)-uniform space, in: Topological and algebraic structures in fuzzy sets, edited by \textit{S. E. Rodabaugh} and \textit{E. P. Klement}, Trends in Logic-Studia Logica Library. 20. Dordrecht: Kluwer Academic Publishers. (2003; Zbl 1061.54006)].