Otro ejemplo importante de topos (e históricamente el primero) es la categoría de todos los haces de conjuntos sobre un Espacio topológico dado.