Denne graduate-nivå tekst belyser topos-teori slik den har utviklet seg fra studiet av sheaver, og den er unik i sitt omfang. Boken tar for seg viktige emner som prosessen med sheafisering og egenskapene til et elementært topos. Den diskuterer videre anvendelser av teorien innenfor axiomatisk mengdelære og bruken av forcing, samt geometriske morfisme og mer. Dette verket gir en grundig innsikt i moderne matematiske konsepter og er en uvurderlig ressurs for studenter og forskere innen for matematikk og logikk.
