(Open Access) Topoi: The Categorial Analysis of Logic, by Robert Goldblatt

[dmm]

projecteuclid.org/ebooks/books-by-independent-authors/Topoi-The-Categorial-Analysis-of-Logic/toc/bia/1403013939

Chapter-wise PDFs

Comments

[dmm]

I decided it's time for me to revisit toposes and sheaves

[juan_gandhi]

Я всю жизнь считал эту книжку неправильной.

[dmm]

It turns out that "Introduction to higher order categorical logic" by Joachim Lambek and Philip J. Scott might be a better fit, and that one can usually find its PDF on the web...

[dmm]

Collected work by Lawvere:

https://github.com/mattearnshaw/lawvere

( https://en.wikipedia.org/wiki/William_Lawvere )