[1012.5647] An informal introduction to topos theory

Author: Tom Leinster
This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.
Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Logic (math.LO)