Theories, Sites, Toposes
Relating and studying mathematical theories through topos-theoretic 'bridges'
Reviews and Awards
"The whole book is very carefully written, with each definition motivated by specific examples. The presentation is essentially self-contained, and only a familiarity with basic notions of category theory is required. The results achieved in the book give evidence for the great potential of this direction of research." - Andrzej Wiśnicki, MathSciNet
"The book is systematic, developing the subject from its very categorical beginning, assuming just the basic notions of category theory and a familiarity with first-order logic. This is a research monograph, but a dedicated reader would certainly profit from it." - Felipe Zaldivar, MAA Reviews