Detalles en la relación entre la categoría de espacios topológicos y la categoría de locales, incluyendo la construcción explícita de la dualidad entre los espacios sobrios y los locales espaciales, pueden ser encontrados en el artículo sobre la dualidad de Stone.