We give an introduction to topos theory from a geometric point of view, focusing on toposes that arise from a discrete group acting on a topological space. In particular, we will look at lattices over a global field, and see how the topos classifying them is related to the ring of finite adeles of the global field. In the case where the class group is trivial, this topos is equivalently described as a topos of presheaves on a monoid, leading to toposes that are analogous to (the underlying topos) of the Arithmetic Site of Connes and Consani. We then discuss how the different toposes are related to each other. Are there interesting geometric morphisms between them? When are these morphisms embeddings, or local homeomorphisms?
The talk is based on joint work in progress with Morgan Rogers and joint work in progress with Aurélien Sagnier.