Aspectos de la obra de Cantor apreciados desde la teoría de categorías y funtores

Resumen

Con los recursos de la teoría de categorías iniciada a mediados del siglo XX y de su fragmento, la teoría de topos a partir de 1970, ha sido posible clarificar algunas de las intuiciones originales y profundas de Cantor sobre la naturaleza de los conjuntos abstractos dejadas de lado cuando Zermelo axiomatizó a principios del siglo la teoría de conjuntos. Este «paraíso de Cantor» defendido por Hilbert frente a los intuicionistas ha sido generalizado por los topos de Grothendieck-Lawvere-Tierney, que proporcionan múltiples modelos formales de teoría de conjuntos en los que interpretar las matemáticas clásicas e intuicionistas.