The following pages link to Galois Connexions (Q5834612):
Displaying 50 items.
- Ergodicity conditions for zero-sum games (Q255787) (← links)
- Pair algebras and Galois connections. (Q293350) (← links)
- The lattice of finite subspace partitions (Q408191) (← links)
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety (Q419013) (← links)
- Galois theory for sets of operations closed under permutation, cylindrification, and composition (Q422339) (← links)
- A particular Galois connection between relations and set functions. (Q472151) (← links)
- Modes of adjointness (Q484110) (← links)
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain (Q508629) (← links)
- Isotone fuzzy Galois connections with hedges (Q545318) (← links)
- Mathematical context in interactive documents (Q626936) (← links)
- Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras (Q652515) (← links)
- Proving implications by algebraic approximation (Q671502) (← links)
- Regular languages and Stone duality (Q675860) (← links)
- Every Galois connection is the polarity of an antitone relation (Q796555) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Logical handling of uncertain, ontology-based, spatial information (Q835161) (← links)
- A unifying study between modal-like operators, topologies and fuzzy sets (Q881822) (← links)
- An abstract interpretation toolkit for \(\mu\)CRL (Q883139) (← links)
- On equivalence of conceptual scaling and generalized one-sided concept lattices (Q903566) (← links)
- Rings and covered groups. (Q948722) (← links)
- Are dualities appropriate for duality theories in optimization? (Q989899) (← links)
- Conjugaison par tranches (Q1067593) (← links)
- Some sequences associated with combinatorial structures (Q1073032) (← links)
- Galois structures (Q1100464) (← links)
- Function spaces and fixed point properties: A Galois connection (Q1133703) (← links)
- Über Morphismen halbmodularer Verbände (Q1144055) (← links)
- Betweenness for real vectors and lines. I: Basic generalities (Q1153167) (← links)
- Ordered sets: retracts and connections (Q1159221) (← links)
- Partial inner product spaces and semi-inner product spaces (Q1168556) (← links)
- Primäre Abelsche Gruppen mit Semidualität (Q1216471) (← links)
- Increasing and decreasing operators on complete lattices (Q1232531) (← links)
- Symétrisations de catégories. I: Généralités (Q1237133) (← links)
- Galois connections and the Leray spectral sequence (Q1239749) (← links)
- Induction in orthodox involution categories (orthodox categories, 3) (Q1252407) (← links)
- A Galois connection approach to superposition and inaccessibility (Q1325675) (← links)
- Extreme \(k\)-families (Q1345523) (← links)
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- Lagois connections -- a counterpart to Galois connections (Q1349662) (← links)
- Simple proof techniques for property preservation via simulation (Q1350106) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- A calculational approach to mathematical induction (Q1391737) (← links)
- On Boolean ranges of Banaschewski functions (Q1646621) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- Lattice-theoretic contexts and their concept lattices via Galois ideals (Q1671689) (← links)
- Tensor products and relation quantales (Q1689290) (← links)
- Representation of fuzzy subsets by Galois connections (Q1697650) (← links)
- Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
- Join-completions of \(L\)-ordered sets (Q1759729) (← links)
- Fuzzy Galois connections on fuzzy sets (Q1795374) (← links)
- Weak and strong equations in partial algebras (Q1845753) (← links)
