Classifying topos, J Giraud (transcription)
In the light of the webpage Thèmes pour une harmonie, A Grothendieck ("Algèbre topologique" for more) and recent work of Caramello-Zanfa we have uploaded a transcription (please let me know if you find some mistake) of the work: Classifying topos, J Giraud. Toposes , algebraic geometry and logic , Lecture Notes in Maths., vol.274 , Springer , 1972. It is such a wonderful resource, enjoy!
There shouldn't be a discussion board on the history of topos theory (or it is enough with philosophical discussion and learning resources)?