I have added a nice historical article by Colin McLarty, pointed out to me by Zoran, to the list of references at topos theory.
In the course of this I have synchronized the literature list with that at topos.
]]>we are lacking content in the entry topos theory.
I added a one-line Idea and then expanded the list of references.
]]>