DOIAbstract
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going via concrete Galois connections to Galois adjunctions
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going via concrete Galois connections to Galois adjunctions
Abstract. We state conjectures on the relationships between automorphic representations and Galois r...
Abstract. We introduce Galois corings, and give a survey of proper-ties that have been obtained so f...
Abstract. After recalling the different interpretations usually assigned to the term Galois connecti...
This book presents the main ideas of General Galois Theory as a generalization of Classical Galois T...
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going v...
Abstract. The composition of two previously introduced Galois connections is used to provide a wider...
We investigate the properties of Galois, dual Galois, residuated, and dual residuated connections on...
Most studies of Galois connections begin with a function and ask the question: when is there a secon...
AbstractIn this paper we define a Lagois connection, which is a generalization of a special type of ...
Abstract interpretation-based static analyses rely on abstract domains of program properties, such a...
AbstractWe study some Galois connections between partially ordered sets of interest in arithmetic: t...
RésuméWe generalize the notion of a Galois extension by that of a Galois parallelogram; a Galois ext...
In this paper we define a Lagois connection, which is a generalization of a special type of Galois c...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
International audienceWe introduce a Galois connection calculus for language independent specificati...
Abstract. We state conjectures on the relationships between automorphic representations and Galois r...
Abstract. We introduce Galois corings, and give a survey of proper-ties that have been obtained so f...
Abstract. After recalling the different interpretations usually assigned to the term Galois connecti...
This book presents the main ideas of General Galois Theory as a generalization of Classical Galois T...
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going v...
Abstract. The composition of two previously introduced Galois connections is used to provide a wider...
We investigate the properties of Galois, dual Galois, residuated, and dual residuated connections on...
Most studies of Galois connections begin with a function and ask the question: when is there a secon...
AbstractIn this paper we define a Lagois connection, which is a generalization of a special type of ...
Abstract interpretation-based static analyses rely on abstract domains of program properties, such a...
AbstractWe study some Galois connections between partially ordered sets of interest in arithmetic: t...
RésuméWe generalize the notion of a Galois extension by that of a Galois parallelogram; a Galois ext...
In this paper we define a Lagois connection, which is a generalization of a special type of Galois c...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
International audienceWe introduce a Galois connection calculus for language independent specificati...
Abstract. We state conjectures on the relationships between automorphic representations and Galois r...
Abstract. We introduce Galois corings, and give a survey of proper-ties that have been obtained so f...
Abstract. After recalling the different interpretations usually assigned to the term Galois connecti...
Add to ORKG