La teoría se completó, estableciendo que los topos de Grothendieck eran una categoría de haces, donde ahora la palabra 'haz' había adquirido un significado extendido con respecto a la idea topología de Grothendieck.