Results 41 to 50 of about 888,944 (169)

Involutions on Relational Program Calculi [PDF]

Scientific Annals of Computer Science, 2008
The standard Galois connection between the relational and predicate-transformer models of sequential programming (defined in terms of weakest precondition) confers a certain similarity between them.
I.M. Rewitzky, J.W. Sanders
doaj  

Connections on trivial vector bundles over projective schemes

Comptes Rendus. Mathématique
Over a smooth and proper complex scheme, the differential Galois group of an integrable connection may be obtained as the closure of the transcendental monodromy representation.
Biswas, Indranil, Hô Hai, Phùng, dos Santos, Joao Pedro   +2 more
doaj   +1 more source

Rough sets based on Galois connections

International Journal of Applied Mathematics and Computer Science, 2020
Rough set theory is an important tool to extract knowledge from relational databases. The original definitions of approximation operators are based on an indiscernibility relation, which is an equivalence one.
Madrid Nicolás, Medina Jesús, Ramírez-Poussa Eloísa   +2 more
doaj   +1 more source

On Constructivity of Galois Connections [PDF]

, 2017
Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool for mathematically specifying abstract domains.
openaire   +2 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

On the additive image of zeroth persistent homology

Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.
Abstract For a category X$X$ and a finite field F$F$, we study the additive image of the functor H0(−;F)∗:rep(X,Top)→rep(X,VectF)$\operatorname{H}_0(-;F)_* \colon \operatorname{rep}(X, \mathbf {Top}) \rightarrow \operatorname{rep}(X, \mathbf {Vect}_F)$, or equivalently, of the free functor rep(X,Set)→rep(X,VectF)$\operatorname{rep}(X, \mathbf {Set ...
Ulrich Bauer, Magnus B. Botnan, Steffen Oppermann, Johan Steen   +3 more
wiley   +1 more source

On the notion of indiscernibility in the light of Galois-Grothendieck Theory [PDF]

, 2013
We analyze the notion of indiscernibility in the light of the Galois theory of field extensions and the generalization to K-algebras proposed by Grothendieck.
Catren, Gabriel, Page, Julien
core  

Galois structure of Zariski cohomology for weakly ramified covers of curves

, 2004
We compute equivariant Euler characteristics of locally free sheaves on curves, thereby generalizing several results of Kani and Nakajima. For instance, we extend Kani's computation of the Galois module structure of the space of global meromorphic ...
Koeck, Bernhard
core   +1 more source

The Singular Value Decomposition over Completed Idempotent Semifields

Mathematics, 2020
In this paper, we provide a basic technique for Lattice Computing: an analogue of the Singular Value Decomposition for rectangular matrices over complete idempotent semifields (i-SVD).
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno   +1 more
doaj   +1 more source

Inducing Coverings on Hilbert Schemes

Mathematische Nachrichten, Volume 299, Issue 8, Page 2177-2190, August 2026.
ABSTRACT We find an explicit geometric description of all coverings of Hilb2(Σ)$\operatorname{Hilb}^{2}(\Sigma)$ when Σ$\Sigma$ is a normal, complex, quasi‐projective surface with finite fundamental group. We then apply this construction to show that if Σ$\Sigma$ is an irreducible symplectic surface then Hilb2(Σ)$\operatorname{Hilb}^{2}(\Sigma)$ is an ...
Lucas Li Bassi, Filippo Papallo
wiley   +1 more source