Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:categoryEquivalence |
category of Boolean algebras
category of Stone spaces |
gptkbp:describes |
duality between Boolean algebras and Stone spaces
|
gptkbp:field |
gptkb:mathematics
gptkb:topology gptkb:order_theory |
gptkbp:generalizes |
gptkb:Pontryagin_duality
gptkb:Gelfand_duality gptkb:Priestley_duality |
gptkbp:hasApplication |
gptkb:algebra
gptkb:logic gptkb:category_theory theoretical computer science |
https://www.w3.org/2000/01/rdf-schema#label |
Stone duality
|
gptkbp:introduced |
gptkb:Marshall_Stone
|
gptkbp:introducedIn |
1936
|
gptkbp:namedAfter |
gptkb:Marshall_Stone
|
gptkbp:relatedTo |
gptkb:algebra
gptkb:topology Stone space compact totally disconnected Hausdorff space |
gptkbp:bfsParent |
gptkb:Arthur_H._Stone
gptkb:Marshall_Harvey_Stone gptkb:Marshall_Stone gptkb:Marshall_H._Stone gptkb:Stone's_representation_theorem |
gptkbp:bfsLayer |
6
|