Sheaves in geometry and logic: a first introduction to topos theory

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 se...

Descripción completa

Detalles Bibliográficos
Autores principales: MacLane, Saunders, Moerdijk, Ieke
Lenguaje:eng
Publicado: Springer 1992
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-1-4612-0927-0
http://cds.cern.ch/record/824105
_version_ 1780905631208701952
author MacLane, Saunders
Moerdijk, Ieke
author_facet MacLane, Saunders
Moerdijk, Ieke
author_sort MacLane, Saunders
collection CERN
description 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.
id cern-824105
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1992
publisher Springer
record_format invenio
spelling cern-8241052021-04-22T02:25:07Zdoi:10.1007/978-1-4612-0927-0http://cds.cern.ch/record/824105engMacLane, SaundersMoerdijk, IekeSheaves in geometry and logic: a first introduction to topos theoryMathematical Physics and MathematicsSheaves 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.Springeroai:cds.cern.ch:8241051992
spellingShingle Mathematical Physics and Mathematics
MacLane, Saunders
Moerdijk, Ieke
Sheaves in geometry and logic: a first introduction to topos theory
title Sheaves in geometry and logic: a first introduction to topos theory
title_full Sheaves in geometry and logic: a first introduction to topos theory
title_fullStr Sheaves in geometry and logic: a first introduction to topos theory
title_full_unstemmed Sheaves in geometry and logic: a first introduction to topos theory
title_short Sheaves in geometry and logic: a first introduction to topos theory
title_sort sheaves in geometry and logic: a first introduction to topos theory
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-1-4612-0927-0
http://cds.cern.ch/record/824105
work_keys_str_mv AT maclanesaunders sheavesingeometryandlogicafirstintroductiontotopostheory
AT moerdijkieke sheavesingeometryandlogicafirstintroductiontotopostheory

Ejemplares similares