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

En este articulo los autores se proponen demostrar que los haces de conjuntos sobre un espacio topológico forman un Topos. Este resultado es bien conocido ya que hace parte del folklore de la teoría de Topos, pero, según el conocimiento de los autores, su demostraci6n no ha sido publicada. Con un pr...