Starts simple, goes deep
This book is an excellent motivated exposition, not only of topos theory, but also of set theory, category theory, and logic. It takes motivating examples and observes their relevant properties before generalizing to essential category-theoretic and topos-theory definitions. Not only a valuable resource for the aspiring topos theorist, but an excellent book for anyone interested in the foundations of mathematics.
