Statements (22)
| 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
|
| 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
gptkb:order_theory |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Galois connection
|