**Question:** Is there any book of topology in the modern language of topos theory?

**Motivation:**

In "Sheaves in Geometry and Logic" Mac Lane and Moerdijk say: "For Grothendieck, topology became the study of (the cohomology of) sheaves, and the sheaves "sited" on a given Grothendieck topology formed a topos - subsequently called a Grothendieck topos". my question is about a book of the study of this idea.

Relations between geometry and logic.

inter aliaand has a lot of useful references. Another thing you might find interesting is Joyal and Tierney's An Extension of the Galois Theory of Grothendieck which takes seriously the analogy between locales and toposes (as lex total objects) and their respective theories of descent. $\endgroup$ – Todd Trimble♦ Oct 8 '14 at 0:42