Results 11 to 20 of about 12,528 (136)
A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections [PDF]
, 2014 Two examples of Galois connections and their dual forms are considered. One of them is applied to formulate a criterion when a given subset of a complete lattice forms a complete lattice.
A. Tarski +8 more
core +1 more source
Galois Connections and Data Mining [PDF]
, 2000 JUCS - Journal of Universal Computer Science Volume Nr.
Cristofor,Dana +2 more
openaire +2 more sources
Galois connections categorically
Journal of Pure and Applied Algebra, 1990 This is an expansion of a previous paper [Lect. Notes Comput. Sci. 239, 122-134 (1986; Zbl 0615.06002)]. It is a somewhat discursive discussion of Galois connections in (briefly) partially ordered sets, concrete categories, and categories. In concrete categories the authors consider only Galois connections commuting with the forgetful functors, which ...
Herrlich, H., Hušek, M.
openaire +2 more sources
Monodromy of a Class of Logarithmic Connections on an Elliptic Curve [PDF]
, 2007 The logarithmic connections studied in the paper are direct images of regular connections on line bundles over genus-2 double covers of the elliptic curve.
Machu, Francois-Xavier
core +5 more sources
The Chern-Galois character [PDF]
, 2003 Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are finitely ...
Brzezinski, Tomasz, Hajac, Piotr M.
core +3 more sources
Pair algebras and Galois connections [PDF]
Information Processing Letters, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Formal Contexts, Formal Concept Analysis, and Galois Connections
, 2013 Formal concept analysis (FCA) is built on a special type of Galois connections called polarities. We present new results in formal concept analysis and in Galois connections by presenting new Galois connection results and then applying these to formal ...
Denniston, Jeffrey T. +2 more
core +2 more sources
Lagois connections — a counterpart to Galois connections
Theoretical Computer Science, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Melton, Austin +2 more
openaire +1 more source
Galois Connections in Categorial Type Logic
Electronic Notes in Theoretical Computer Science, 2004 AbstractThe introduction of unary connectives has proved to be an important addition to the categorial vocabulary. The connectives considered so far are order-preserving; in this paper instead, we consider the addition of order-reversing, Galois connected operators. In §2 we do the basic model-theoretic and proof-theoretic groundwork.
C. Areces +2 more
openaire +9 more sources
Deformation quantization of principal bundles [PDF]
, 2016 We outline how Drinfeld twist deformation techniques can be applied to the deformation quantization of principal bundles into noncommutative principal bundles, and more in general to the deformation of Hopf-Galois extensions.
Aschieri, Paolo
core +2 more sources