# Reference request: Book of topology from “Topos” point of view

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.

• What topics are covered by "topology" to you? What do you want to see in this book? Have you read "Sheaves in Geometry and Logic" by Mac Lane and Moerdijk? – Steven Gubkin Aug 30 '14 at 17:00
• @StevenGubkin, I think a more appropriate question is: "have you read it backward?" (there are a lot of good books about "topos from topology point of view"; so I guess, it suffices to pick any and read it backward :-) – Michal R. Przybylek Aug 30 '14 at 17:46
• If I recall correctly, Vickers, Topology Via Logic covers this kind of thing. – aws Aug 30 '14 at 17:52
• Pretty much any large enough book on topos theory is bound to describe its connection to topology. A good list of references (of vastly varying difficulty) is at the nLab page. However I believe that topoi are much more connected to logic than to topology. – Anton Fetisov Aug 31 '14 at 21:06
• I would say there is no such book in existence, but it sounds like you'd be interested in "pointless topology", i.e., locale theory. I'd recommend picking up Johnstone's Stone Spaces which, although it doesn't have locale theory as its primary aim, develops a great deal of it inter alia and 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. – Todd Trimble Oct 8 '14 at 0:42

• Welcome to MO! $~~~$ – Vidit Nanda Aug 31 '14 at 16:54