Relational Galois connections between transitive digraphs: Characterization and construction

Abstract This paper focuses 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, not necessarily functions. A characterization theorem of the notion of relational Galois connection is provided and, then, it is proved that a suitable notion of closure can be obtained within this framework. Finally, we state a necessary and sufficient condition that allows to build a relational Galois connection starting from a single transitive digraph and a single binary relation.

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

[2]  Hongliang Lai,et al.  Fuzzy Galois connections on fuzzy sets , 2018, Fuzzy Sets Syst..

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

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

[5]  Peter Butka,et al.  Isotone Galois Connections and Generalized One-Sided Concept Lattices , 2018, MISSI.

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

[7]  W. Marsden.  I and J , 2012 .

[8]  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.

[9]  Dmitry I. Ignatov,et al.  Understanding Collaborative Filtering with Galois Connections , 2018, FCA4AI@IJCAI.

[10]  Vilém Vychodil,et al.  Closure structures parameterized by systems of isotone Galois connections , 2017, Int. J. Approx. Reason..

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

[12]  Vilém Vychodil,et al.  Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections , 2014, IEEE Transactions on Fuzzy Systems.

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

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

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

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

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

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

[20]  Rokia Missaoui,et al.  Learning algorithms using a Galois lattice structure , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

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

[22]  Manuel Ojeda-Aciego,et al.  Towards relational fuzzy adjunctions , 2017, 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

[23]  Kevin E. Flannery,et al.  The Hoare and Smith Power Domain Constructors Commute under Composition , 1990, J. Comput. Syst. Sci..

[24]  Samson Abramsky,et al.  Big toy models - Representing physical systems as Chu spaces , 2012, Synth..

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

[26]  Dominic R. Verity,et al.  ∞-Categories for the Working Mathematician , 2018 .

[27]  Jean Sallantin,et al.  Structural Machine Learning with Galois Lattice and Graphs , 1998, ICML.