P. T. Johnstoneの
Sketches of an Elephant: A Topos Theory Compendium
なんかはどうなんですかね。