Lax objects and categorical many-valued functions


DEMİRCİ M.

Fuzzy Sets and Systems, cilt.533, 2026 (SCI-Expanded, Scopus) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 533
  • Basım Tarihi: 2026
  • Doi Numarası: 10.1016/j.fss.2026.109796
  • Dergi Adı: Fuzzy Sets and Systems
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, INSPEC, MathSciNet, zbMATH
  • Anahtar Kelimeler: Categorical many-valued function, Fuzzy function, Fuzzy set, Lax object, Lax slice category, Many-valued function
  • Akdeniz Üniversitesi Adresli: Evet

Özet

Ω⋆-lax objects, providing a categorical framework for fuzzy sets on structured sets, are generalization of L -fuzzy sets in an abstract category C on the basis of a fixed partially ordered object Ω⋆. One of the main objectives of this paper is to exhibit how they are used to define the notions of fuzzy sets on fuzzy sets, fuzzy sets on sets with fuzzy equalities and fuzzy sets on typed sets and to investigate some categorical properties of Ω⋆-lax objects. Categorical many-valued functions are special Ω⋆-lax objects that enable us to formulate the notions of fuzzy functions between sets with the same kind of structures. It is another main objective of this paper to study them. Referring to a symmetric, partially ordered Ω-monoidal relation system Υ on C having a symmetric, closed monoidal structure, we formalize categorical many-valued functions as Υ-functions and give their some basic properties. Furthermore, the results are applied to fuzzy functions between two sets, two fuzzy sets, two sets with fuzzy equalities, two typed sets.