Elementary Categories, Elementary Toposes

Goldblatt presenta la teoría de topoi de manera rigurosa, al igual que McLarty, enfatizando su relación con la lógica y la teoría de conjuntos.

Lawvere, fundador del enfoque categórico, ofrece una exploración similar sobre la teoría de categorías y su papel como un lenguaje unificador en matemáticas.

El libro de Goldblatt aborda la teoría de topoi, destacando su vínculo con la lógica, un tema central en la obra de McLarty.

Goldblatt proporciona un análisis categórico de la lógica, alineándose con el enfoque estructurado y fundacional que se encuentra en el libro de McLarty.

Lawvere y Schanuel exploran los topos en el contexto de fundamentos matemáticos, lo que resonaría con las ideas de fundamento en la obra de McLarty.

Mac Lane y Moerdijk presentan la teoría de topos conectando geometría y lógica, similar a cómo McLarty relaciona la teoría de categorías y la lógica matemática.