Pero hubiera sido imposible sin el extenso edificio de teoría de topos y teoría de dominios que se ha desarrollado a lo largo de las últimas seis décadas. Las toposis de gavilla fueron inventadas por ...Pero hubiera sido imposible sin el extenso edificio de teoría de topos y teoría de dominios que se ha desarrollado a lo largo de las últimas seis décadas. Las toposis de gavilla fueron inventadas por Grothendieck y su escuela en la década de 1960 [AGV71] como un enfoque para probar conjeturas en la intersección de la geometría algebraica y la teoría de números, llamadas conjeturas de Weil.
