Frames and Locales

Picado, J., & Pultr, A. (2012). Frames and Locales: Topology without Points, Frontiers in Mathematics. Springer.

Type

Book

Intellectual base

Review or monograph

Year

2012

DOI

10.1007/978-3-0348-0154-6

ISBN

9783034801539

Link

https://doi.org/10.1007/978-3-0348-0154-6

Cited by

1 citation across 1 artifact.

Domain-specific

• Complete Heyting algebra
  • The scope is broad within that domain but bounded by the need for the lattice is complete and x∧(⋁S)=⋁{x∧s:s∈S} for every x and family S. Point-free topology treats frames as lattices of opens, but not every frame need be spatial, meaning recoverable from enough points.

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:c045d3514793 · see in the full table