Statements (27)
| 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:theoretical_computer_science
gptkb:algebra gptkb:logic gptkb:category_theory |
| 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:Marshall_Harvey_Stone
gptkb:Marshall_Stone gptkb:Marshall_H._Stone gptkb:Stone's_representation_theorem |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Stone duality
|