Plusieurs livres pour s'initier (et beaucoup plus que s'initier) à la théorie des catégories et en particulier à la théorie des topoi sont accessibles librement sur Internet.
Toposes, triples and theories (par M Barr et C Wells) :
http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html
Abstract and concrete categories (The joy of cats):
http://www.tac.mta.ca/tac/reprints/articles/17/tr17abs.html
Topoi, the categorial analysis of logic (par R Goldblatt) :
http://cdl.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&seq=1&frames=0&view=50
(on peut se procurer ce dernier livre, qui reste l'un des meilleurs parce qu'il dépasse souvent le niveau proprement scolaire pour aborder les problèmes philosophiques, chez Dover à bas prix)
/https%3A%2F%2Fassets.over-blog.com%2Ft%2Fcedistic%2Fcamera.png)