1. What is Deligne's motivation in Appendice 9 of Exposé VI to prove that every coherent topos has enough points? For instance, does that have applications in étale cohomology (or other parts of algebraic geometry)?
2. Which topics are discussed in the Exposés Vbis, VI, VIII, and IX? An answer to the question should provide either buzzwords or *English* literature covering these topics. What role do topoi play in these Exposés?
3. <a href="https://indico.math.cnrs.fr/event/747/contributions/2523/attachments/1818/1962/introductionJoyal.pdf">Here</a> Joyal writes the following. What could he mean by that?
> About half of the topos theory of SGA4 is devoted to categorical generalities. They are now subsumed by the modern theory of (locally) presentable categories.