Skip to main content
Post Made Community Wiki by Todd Trimble
Source Link
David Carchedi
  • 15.5k
  • 38
  • 99

Along the lines of "Sheaves in Geometry in Logic", Ieke Moerdijk (co-author of that book) also wrote these lecture notes with Jaap van Oosten:

http://www.staff.science.uu.nl/~ooste110/syllabi/toposmoeder.pdf

I found them very good when I was first learning.