Stone duality

GPTKB entity