Una vez dado un sitio (una categoría C "con" una topología de Grothendieck), se puede considerar la categoría de todos los haces en ese sitio.