𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fuzzy Galois connections categorically

✍ Scribed by Javier Gutiérrez García; Iraide Mardones-Pérez; María Angeles de Prada Vicente; Dexue Zhang


Publisher
John Wiley and Sons
Year
2010
Tongue
English
Weight
193 KB
Volume
56
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


This paper presents a systematic investigation of fuzzy (non-commutative) Galois connections in the sense of R. Bělohlávek [1], from the point of view of enriched category theory. The results obtained show that the theory of enriched categories makes it possible to present the theory of fuzzy Galois connections in a succinct way; and more importantly, it provides a useful method to express and to study the link and the difference between the commutative and the non-commutative worlds.


📜 SIMILAR VOLUMES


Fuzzy Galois Connections
✍ Radim Bêlohlávek 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 482 KB

The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relatio

Fuzzy Galois connections on fuzzy posets
✍ Wei Yao; Ling-Xia Lu 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 103 KB

## Abstract The concept of fuzzy Galois connections is defined on fuzzy posets with Bělohlávek's fuzzy Galois connections as a special case. The properties of fuzzy Galois connections are investigated. Then the relations between fuzzy Galois connections and fuzzy closure operators, fuzzy interior o

Invertibility of functional Galois conne
✍ Marianne Akian; Stéphane Gaubert; Vassili Kolokoltsov 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 85 KB

We consider equations of the form Bf = g, where B is a Galois connection between lattices of functions. This includes the case where B is the Fenchel transform, or more generally a Moreau conjugacy. We characterize the existence and uniqueness of a solution f in terms of generalized subdifferentials