Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
Fuzzy Sets and Systems, vol.460, pp.1-32, 2023 (SCI-Expanded, Scopus)
- Publication Type: Article / Article
- Volume: 460
- Publication Date: 2023
- Doi Number: 10.1016/j.fss.2022.06.001
- Journal Name: Fuzzy Sets and Systems
- Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Academic Search Premier, Applied Science & Technology Source, Communication Abstracts, Computer & Applied Sciences, INSPEC, zbMATH
- Page Numbers: pp.1-32
- Keywords: Categorical topology, Category of L-sets, Fuzzy power set monad, L-set, Monadic topologyy, Ordered monad
- Akdeniz University Affiliated: Yes
Abstract
© 2022 Elsevier B.V.For a GL-monoid L with a complete lattice L underneath, this paper considers the L-unbalanced power object monad on the category Set(L) of L-sets, and introduces a new monad on Set(Lop) called the L-power L-set monad. The Kleisli and Eilenberg-Moore categories of these monads are studied. Both monads are enhanced to partially ordered monads that allow us to apply the theory of topological space objects developed by Ulrich Höhle. We give the explicit descriptions of the category of topological space objects in Set(L) with respect to the partially ordered L-unbalanced power object monad and the category of topological space objects in Set(Lop) with respect to the partially ordered L-power L-set monad. Furthermore, it is shown that the L-power L-set monad on Set(Lop) determines a monad on Set(L) in a one-to-one manner, and all existing results can be directly converted into this monad.