AbstractFour levels of Galois connections are exhibited, starting with the classical one and going via concrete Galois connections to Galois adjunctions
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Relation-based Galois connections: towards the ...
ii Using the the dependently-typed programming language Agda, we formalise orders, with attention to...
Abstract. The composition of two previously introduced Galois connections is used to provide a wider...
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going v...
AbstractIn this paper we define a Lagois connection, which is a generalization of a special type of ...
AbstractThe introduction of unary connectives has proved to be an important addition to the categori...
This paper deals with Galois connections between two partially ordered sets (posets) A, B. The first...
Most studies of Galois connections begin with a function and ask the question: when is there a secon...
AbstractEn route to the result in the title (which completes a number of partial sorties made in thi...
This book presents the main ideas of General Galois Theory as a generalization of Classical Galois T...
The introduction of unary connectives has proved to be an important addition to the categorial vocab...
In this paper we define a Lagois connection, which is a generalization of a special type of Galois c...
We investigate the properties of Galois, dual Galois, residuated, and dual residuated connections on...
Given two closure spaces (E,j) and (E',j'), a relation R inclue dans E x E' is said biclosed if ever...
Membres du Jury: Barthélemy, Jean-Pierre (Référé) Rampon, Jean-Xavier (Référé) Valtchev, Petko (Réfé...
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Relation-based Galois connections: towards the ...
ii Using the the dependently-typed programming language Agda, we formalise orders, with attention to...
Abstract. The composition of two previously introduced Galois connections is used to provide a wider...
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going v...
AbstractIn this paper we define a Lagois connection, which is a generalization of a special type of ...
AbstractThe introduction of unary connectives has proved to be an important addition to the categori...
This paper deals with Galois connections between two partially ordered sets (posets) A, B. The first...
Most studies of Galois connections begin with a function and ask the question: when is there a secon...
AbstractEn route to the result in the title (which completes a number of partial sorties made in thi...
This book presents the main ideas of General Galois Theory as a generalization of Classical Galois T...
The introduction of unary connectives has proved to be an important addition to the categorial vocab...
In this paper we define a Lagois connection, which is a generalization of a special type of Galois c...
We investigate the properties of Galois, dual Galois, residuated, and dual residuated connections on...
Given two closure spaces (E,j) and (E',j'), a relation R inclue dans E x E' is said biclosed if ever...
Membres du Jury: Barthélemy, Jean-Pierre (Référé) Rampon, Jean-Xavier (Référé) Valtchev, Petko (Réfé...
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Relation-based Galois connections: towards the ...
ii Using the the dependently-typed programming language Agda, we formalise orders, with attention to...
Abstract. The composition of two previously introduced Galois connections is used to provide a wider...
DOI
Add to ORKG