Galois connection (order theory)

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:application gptkb:formal_concept_analysis
fixed point theory
closure operators
concept lattices
gptkbp:definedIn a pair of monotone functions between two partially ordered sets that are adjoint in a specific sense
gptkbp:field gptkb:mathematics
gptkb:order_theory
gptkbp:generalizes gptkb:Galois_correspondence
gptkbp:hasComponent lower adjoint
upper adjoint
https://www.w3.org/2000/01/rdf-schema#label Galois connection (order theory)
gptkbp:namedAfter gptkb:Évariste_Galois
gptkbp:property preserves order
reverses order in adjoint
uniqueness of adjoints
gptkbp:relatedTo gptkb:Galois_theory
lattice theory
adjoint functors
gptkbp:usedIn gptkb:algebra
gptkb:logic
gptkb:category_theory
gptkbp:bfsParent gptkb:Galois_Theory
gptkbp:bfsLayer 7