Esto mapea hacia "X" por un obvio homeomorfismo local: como la pila de todos los subconjuntos abiertos de "X" proyectándose en él.