You understand topos theory when you understand this book. I cannot say the same of any other.Mac Lane and Moerdijk SHEAVES IN GEOMETRY AND LOGIC is a beautifully written book, a long and well motivated book packed with well chosen clearly explained ...