Text this: Los haces de conjunto sobre un espacio topológico forman un topos