Sheaves in Geometry and Logic：A First Introduction to Topos Theory

Sheavesaroseingeometryascoefficientsforcohomologyandasdescriptionsofthefunctionsappropriatetovariouskindsofmanifolds.Sheavesalsoappearinlogicascarriersformodelsofsettheory.Thistextpresentstopostheoryasithasdevelopedfromthestudyofsheaves.Beginningwithseveralexamples,itexplainstheunderlyingideasoftopologyandsheaftheoryaswellasthegeneraltheoryofelementarytoposesandgeometricmorphismsandtheirrelationtologic.