Elementary Categories, Elementary Toposes
1992·no ficcion
Este libro ofrece una introducción rigurosa pero accesible a la teoría de categorías y toposes, enfatizando la visión fundacional de F. William Lawvere y explorando su relación con la lógica y la teoría de conjuntos constructiva.
