toposes ''tome '' ''' ''' following monographs include introduction topos theory cater primarily beginning students listed perceived order increasing difficulty nice introduction basics category theory topos theory topos logic assumes prerequisites good start available http historicallibrarycornelledu cgi bin culmath docviewerdid gold id online http wwwmcsvuwacnz rob robert goldblatt 's homepage version available http publishuwoca jbell catlogprimepdf online http publishuwoca jbell john bell 's homepage complete difficult read online version concise ''sheaves geometry logic'' hard beginners reference works experts less suitable first introduction
Formal science Mathematics Pure mathematics Algebra Topos theory