En un momento en que la cohomología para los haces en espacios topológicos era establecida, Alexander Grothendieck quiso definir las teorías de cohomología para otras estructuras, sus esquemas.