 Higher Topos Theory (AM170) (Annals of Mathematics Studies) by Jacob Lurie, 20090706
 The Topos of Music: Geometric Logic of Concepts, Theory, and Performance by Guerino Mazzola, 20030117
 Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) (Volume 0) by Saunders MacLane, Ieke Moerdijk, 19920514
 Sketches of an Elephant: A Topos Theory Compendium 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone, 20030717
 Topos Theory (London Mathematical Society Monographs, 10) by P.T. Johnstone, 197712
 Sketches of an Elephant: A Topos Theory Compendium Volume 2 (Oxford Logic Guides, 44) by Peter T. Johnstone, 20021121
 Algebra in a Localic Topos With Application to Ring Theory (Lecture Notes in Mathematics 1038) by Francis Borceux, 198311
 Topos Theory: Grothendieck Topology
 Toposes, Triples and Theories (Grundlehren der mathematischen Wissenschaften) by M. Barr, C. Wells, 19841220
 Algebra in a Localic Topos with Applications to Ring Theory (Lecture Notes in Mathematics) by F. Borceux, G. Van den Bossche, 19831130
 Sketches of an Elephant: A Topos Theory Compendiumm vol. 1 (Oxford Logic Guides, 43) by Peter T. Johnstone, 20021121
 An introduction to fibrations, topos theory, the effective topos and modest sets (LFCS report series) by Wesley Phoa, 1992
 Sketches of an Elephant: A Topos Theory Compendium. Vol. 1 by Peter T. Johnstone, 2002
 First Order Categorical Logic: ModelTheoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics) (Volume 0) by M. Makkai, G.E. Reyes, 19771005
