Teoría de los tópicos y la lógica categórica
1970·no ficcion
Un texto fundacional que introduce la teoría de los topos como una generalización de la teoría de conjuntos y un marco para la lógica matemática, permitiendo modelar diferentes universos matemáticos.
