Results 11 to 20 of about 19,730 (191)
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
Galois Theory for Finite Algebras of Operations and Multioperations of Rank 2
Известия Иркутского государственного университета: Серия "Математика", 2019 The construction of Galois theory for the algebras of operations and relations is a popular topic for investigation. It finds numerous applications in both algebra and discrete mathematics – especially for the perfect Galois connection, since if such a ...
N.A. Peryazev
doaj +1 more source
On Implicative Derivations of MTL-Algebras
Axioms, 2022 This paper introduces the implicative derivations and gives some of their characterizations on MTL-algebras. Furthermore, we provide some representation of MTL-algebras by implicative derivations and obtain some representation of Boolean algebra via the ...
Jianxin Liu +3 more
doaj +1 more source
Characterization of preclones by matrix collections [PDF]
, 2009 Preclones are described as the closed classes of the Galois connection induced by a preservation relation between operations and matrix collections. The Galois closed classes of matrix collections are also described by explicit closure conditions.Comment:
Boardman J. M. +5 more
core +2 more sources
Galois conjugation and multiboundary entanglement entropy
Journal of High Energy Physics, 2020 We revisit certain natural algebraic transformations on the space of 3D topological quantum field theories (TQFTs) called “Galois conjugations.” Using a notion of multiboundary entanglement entropy (MEE) defined for TQFTs on compact 3-manifolds with ...
Matthew Buican, Rajath Radhakrishnan
doaj +1 more source
Galois theory of fuchsian q-difference equations [PDF]
, 2002 We propose an analytical approach to the Galois theory of singular regular linear q-difference systems. We use Tannaka duality along with Birkhoff's classification scheme with the connection matrix to define and describe their Galois groups.
Sauloy, Jacques
core +3 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
Closed classes of functions, generalized constraints and clusters [PDF]
, 2008 Classes of functions of several variables on arbitrary non-empty domains that are closed under permutation of variables and addition of dummy variables are characterized in terms of generalized constraints, and hereby Hellerstein's Galois theory of ...
D. Geiger +7 more
core +3 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