Another triumph for Wikipedia. Every time I do a web search, I’m impressed with the progress Wikipedia is making. Check out their dry but complete summary of Grothendieck topologies, and their more evocative Background and genesis of topos theory.