Classifying Toposes

This essay is an introduction to the theory of topoi, a certain kind of structured category introduced by Grothéndieck for describing his new idea of the étale cohomology. We will be using it to analyse logic in a novel, categorical way for fun and profit!