El resultado es "la categoría de haces con respecto a una topología de Grothendieck" - también llamada topos de Grothendieck.