nlab : sheaves in geometry and logic Laisser une réponse http://ncatlab.org/nlab/show/Sheaves+in+Geometry+and+Logic
elements of elementary topoi Laisser une réponse http://pages.cpsc.ucalgary.ca/~robin/class/617/projects-08/topos1.pdf