Stone Spaces

Peter T. Johnstone, S. S., & Press, C. U. (1982). Stone Spaces. Cambridge University Press.

Type

Book chapter

Intellectual base

Review or monograph

Year

1982

ISBN

9780521238939

Link

https://openlibrary.org/books/OL3484997Mmatched

Cited by

4 citations across 4 artifacts.

Domain-specific

• Complete Heyting algebra
  • A complete Heyting algebra, or frame, is a complete lattice in which finite meets distribute over arbitrary joins; equivalently each meet map has a right adjoint defining Heyting implication.
• Locally Hausdorff space
  • … identity and a convenient observable transfers from The line with two origins is locally Euclidean and locally Hausdorff but its two origins cannot be separated by disjoint global neighborhoods. to An étale space may be locally Hausdorff over a Hausdorff base while global gluing leaves distinct germs inseparable..
• Saturated set (intersection of open sets)
  • … A canonical instance directly demonstrates that the set equals its topological saturation under the declared specialization-order orientation and is an arbitrary intersection of open subsets. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..
• Stone duality
  • The entry centers the classical Boolean duality and maps named extensions; it does not merge all categorical dualities into a single theorem or suppress constructive qualifications.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:8d7015f9adbe · see in the full table