WL

William Lawvere

estadounidense

William Lawvere es un matemático estadounidense conocido por su trabajo en la teoría de categorías, y es considerado un pionero en el desarrollo de la lógica categórica. Su enfoque ha tenido un impacto significativo en la relación entre matemáticas y filosofía.

Obras en el archivo

1 título

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.

Autores relacionados

Aparecen junto a William Lawvere en búsquedas del archivo