Es famoso por su trabajo en la teoría de haces, base de la moderna topología algebraica.