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 ...

Se presenta una propuesta para manejar, matemáticamente, las palabras 'infinito' y 'número', distinguiendo dos situaciones cualitativamente diferentes: pluralidad y cantidad.