También volvió más accesible la topología sin puntos, donde el concepto de "local" aísla algunas intuiciones más accesibles encontradas tratando los topos como una generalización significativa de "espacio topológico".