Topoi

See klassikaline sissejuhatus matemaatilisse loogikasse kategooriateooria vaatenurgast sobib nii edasijõudnutele bakalaureuse- kui ka magistriõppe üliõpilastele ning on arusaadav nii filosoofiliselt kui ka matemaatiliselt orienteeritud lugejatele. Selle lähenemisviis liigub alati üksikult üldisele, järgides abstraktsiooniprotsessi samme, kuni abstraktne mõiste loomulikult ilmneb.
Alustades hulgateooria ja selle rolli matemaatikas ülevaatega, liigub tekst edasi kategooriate definitsioonide ja näidete juurde ning selgitab noolte kasutamist hulga kuuluvuse asemel. Toposstruktuuri sissejuhatus hõlmab toposloogikat, alamobjektide algebrat ning intuitsionismi ja selle loogikat, liikudes edasi funktorite mõiste, hulgamõistete ja kehtivuse ning elementaartõesuse juurde. Kategoorilise hulgateooria, lokaalse tõesuse, adjuivsuse ja kvantorite uurimus lõpeb loogilise geomeetria uurimisega.