Results 1 to 10 of about 12,508 (116)
Galois theory for iterative connections and nonreduced Galois groups [PDF]
Transactions of the American Mathematical Society, 2010 37 pages; v2->v3: more cross references to other papers are added in this version, the introduction is more detailed v3->v4: proof of Thm.
Maurischat, Andreas
openaire +5 more sources
Constructive Galois Connections [PDF]
Journal of Functional Programming, 2019 AbstractGalois connections are a foundational tool for structuring abstraction in semantics, and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections using proof assistants remains limited to restricted modes of use, preventing their general application in mechanized metatheory and certified ...
Darais, David, Van Horn, David
openaire +3 more sources
Programming from Galois connections [PDF]
The Journal of Logic and Algebraic Programming, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mu, Shin-Cheng +1 more
openaire +4 more sources
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory [PDF]
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016 Galois connections are a foundational tool for structuring abstraction in semantics and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections remains limited to restricted modes of use, preventing their general application in mechanized metatheory and certified programming. This
Darais, David, Van Horn, David
openaire +3 more sources
Relational Galois connections between transitive fuzzy digraphs [PDF]
, 2020 Fuzzy-directed graphs are often chosen as the data structure to model and implement solutions to several problems in the applied sciences. Galois connections have also shown to be useful both in theoretical and in practical problems.
Cabrera, Inma P. +4 more
core +2 more sources
Classification of Rigid Irregular $G_2$-Connections [PDF]
, 2019 Using the Katz-Arinkin algorithm we give a classification of irreducible rigid irregular connections on a punctured $\mathbb{P}^1_{\mathbb{C}}$ having differential Galois group $G_2$, the exceptional simple algebraic group, and slopes having numerator 1.
Jakob, Konstantin
core +2 more sources
Parallelisms & Lie Connections [PDF]
, 2017 The aim of this article is to study rational parallelisms of algebraic varieties by means of the transcendence of their symmetries. The nature of this transcendence is measured by a Galois group built from the Picard-Vessiot theory of principal ...
Blázquez-Sanz, David, Casale, Guy
core +4 more sources
Galois connections for bilattices
Algebra universalis, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Koutras, C.D., Pitsiladis, G.V.
openaire +3 more sources
Fuzzy Galois connections on fuzzy sets
, 1981 In fairly elementary terms this paper presents how the theory of preordered fuzzy sets, more precisely quantale-valued preorders on quantale-valued fuzzy sets, is established under the guidance of enriched category theory.
García, Javier Gutiérrez +2 more
core +2 more sources
ESSENTIAL AND RETRACTABLE GALOIS CONNECTIONS [PDF]
Journal of Algebra and Its Applications, 2013 For bounded lattices, we introduce certain Galois connections, called (cyclically) essential, retractable and UC Galois connections, which behave well with respect to concepts of module-theoretic nature involving essentiality. We show that essential retractable Galois connections preserve uniform dimension, whereas essential retractable UC Galois ...
openaire +2 more sources