A Relational Extension of Galois Connections

In this paper, we focus on a twofold relational generalization of the notion of Galois connection. It is twofold because it is defined between sets endowed with arbitrary transitive relations and, moreover, both components of the connection are relations as well. Specifically, we introduce the notion of relational Galois connection between two transitive digraphs, study some of its properties and its relationship with other existing approaches in the literature.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis , 2013 .

[2]  Bernhard Ganter,et al.  Relational Galois Connections , 2007, ICFCA.

[3]  Manuel Ojeda-Aciego,et al.  On the Existence of Isotone Galois Connections between Preorders , 2014, ICFCA.

[4]  Bernard De Baets,et al.  On the construction of adjunctions between a fuzzy preposet and an unstructured set , 2017, Fuzzy Sets Syst..

[5]  Manuel Ojeda-Aciego,et al.  Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure , 2018, IEEE Transactions on Fuzzy Systems.

[6]  Guo-Qiang Zhang.  Logic of Domains , 1991, Progress in Theoretical Computer Science.

[7]  Austin Melton,et al.  Formal Contexts, Formal Concept Analysis, and Galois Connections , 2013, Festschrift for Dave Schmidt.

[8]  Manuel Ojeda-Aciego,et al.  On the definition of suitable orderings to generate adjunctions over an unstructured codomain , 2014, Inf. Sci..

[9]  Samson Abramsky.  Big toy models , 2011, Synthese.

[10]  Rudolf Wille,et al.  Subdirect product construction of concept lattices , 1987, Discret. Math..

[11]  Manuel Ojeda-Aciego,et al.  Formal Concept Analysis and Structures Underlying Quantum Logics , 2018, IPMU.

[12]  Bruno Leclerc,et al.  Biclosed Binary Relations and Galois Connections , 2001, Order.

[13]  Manuel Ojeda-Aciego,et al.  On Galois Connections and Soft Computing , 2013, IWANN.

[14]  Lubomir Antoni,et al.  Representation of fuzzy subsets by Galois connections , 2017, Fuzzy Sets Syst..

[16]  Emil Jerábek.  Galois connection for multiple-output operations , 2016, ArXiv.

[17]  Manuel Ojeda-Aciego,et al.  On Closure Systems and Adjunctions Between Fuzzy Preordered Sets , 2015, ICFCA.

[18]  I. P. Cabrera,et al.  Relation-based Galois connections: towards the residual of a relation , 2017 .

[19]  O. Krídlo,et al.  Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics , 2019, Computational Intelligence and Mathematics for Tackling Complex Problems.