Statements (21)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:characterizedBy |
adjunction in category theory
|
gptkbp:describesRelationshipBetween |
two partially ordered sets
|
gptkbp:field |
gptkb:order_theory
|
gptkbp:generalizes |
gptkb:Galois_correspondence
|
gptkbp:hasApplication |
gptkb:formal_concept_analysis
fixed point theory closure operators |
gptkbp:hasComponent |
gptkb:antitone_Galois_connection
gptkb:monotone_Galois_connection |
gptkbp:hasProperty |
order-reversing or order-preserving functions
|
https://www.w3.org/2000/01/rdf-schema#label |
Galois connection
|
gptkbp:involves |
pair of monotone functions
|
gptkbp:namedAfter |
gptkb:Évariste_Galois
|
gptkbp:relatedTo |
gptkb:category_theory
lattice theory |
gptkbp:usedIn |
gptkb:logic
abstract algebra computer science |
gptkbp:bfsParent |
gptkb:Galois_theory
|
gptkbp:bfsLayer |
5
|