Sheaves in Geometry and Logic

  • Mac Lane S
  • Moerdijk I
ISSN: 00224812
N/ACitations
Citations of this article
98Readers
Mendeley users who have this article in their library.

Abstract

Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.

Cite

CITATION STYLE

APA

Mac Lane, S., & Moerdijk, I. (2012). Sheaves in Geometry and Logic. A First Introduction to Topos Theory (Vol. 13, p. 630). Retrieved from http://link.springer.com/10.1007/978-1-4612-0927-0

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free