Resumen de Aspectos de la obra de Cantor apreciados desde la teoría de categorías y funtores
- español
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 intuicio-nes originales y profundas de Cantor sobre la naturaleza de los conjuntos abstractos dejadas de lado cuando Zermelo axiomati-zó 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
- English
With the resources of category theory initiated in the middle of the twentieth century and its fragment, topos theory from 1970 onwards, it has been possible to clarify some of Cantor’s orig-inal and profound intuitions about the nature of abstract sets left aside when Zermelo axiomatized set theory at the beginning of the century. This “Cantor paradise” defended by Hilbert against the in-tuitionists has been generalized by the Grothendieck-Lawvere-Tier-ney topos, which provide multiple formal models of set theory in which to interpret classical and intuitionistic mathematics
