1. Elementary axioms for local maps of toposes;Awodey;J. Pure Appl. Algebra,2003
2. Handbook of Categorical Algebra 1;Borceux,1994
3. A. Grothendieck, Pursuing stacks, typescript, 1983.
4. Théorie des topos (SGA 4, exposés I-VI);Grothendieck,1972
5. How general is a generalized space?;Johnstone;Lond. Math. Soc. Lect. Note Ser.,1985