Results 21 to 30 of about 248 (160)
Hilbert Algebras with Hilbert-Galois Connections II
Bulletin of the Section of LogicHilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,f,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq g(b)\), and \(g(a\rightarrow b)\leq ...
Sergio A. Celani, Daniela Montagie
doaj +1 more source
Journal of Applied Mathematics, 2013 This paper is an attempt to develop quantitative domain theory over frames. Firstly, we propose the notion of a fuzzy basis, and several equivalent characterizations of fuzzy bases are obtained.
Sanping Rao, Qingguo Li
doaj +1 more source
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 +3 more
wiley +1 more source
Connections on trivial vector bundles over projective schemes
Comptes Rendus. MathématiqueOver 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 +2 more
doaj +1 more source
Galois connections between sets of paths and closure operators in simple graphs
Open Mathematics, 2018 For every positive integer n,we introduce and discuss an isotone Galois connection between the sets of paths of lengths n in a simple graph and the closure operators on the (vertex set of the) graph.
Šlapal Josef
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
A characterization of adjunction in a many-valued modal system
CQD Revista Eletrônica Paulista de MatemáticaGalois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa +1 more
doaj +1 more source
Invariance groups of finite functions and orbit equivalence of permutation groups
Open Mathematics, 2015 Which subgroups of the symmetric group Sn arise as invariance groups of n-variable functions defined on a k-element domain? It appears that the higher the difference n-k, the more difficult it is to answer this question.
Horváth Eszter K. +3 more
doaj +1 more source
A curious example involving ordered compactifications
Applied General Topology, 2002 For a certain product X x Y where X is compact, connected, totally ordered space, we find that the semilattice K0 (X x Y) of ordered compactifications of X x Y is isomorphic to a collection of Galois connections and to a collection of functions F which ...
Thomas A. Richmond
doaj +1 more source
A trace–path integral formula over function fields
Journal of the London Mathematical Society, Volume 114, Issue 2, August 2026.Abstract We show that an arithmetic path integral over the ℓ$\ell$‐torsion of a Jacobian J[ℓ]$J[\ell]$ is equal to the trace of the Frobenius action on a representation of the Heisenberg group H(J[ℓ])$H(J[\ell])$, up to an explicitly determined sign.
Yan Yau Cheng
wiley +1 more source