This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafific... » 

This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafification process and the properties of an elementary topos, applications to axiomatic set theory and use in forcing, geometric morphisms and the construction of classifying topoi. Annotation co «