Cargando…
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...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
1992
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-1-4612-0927-0 http://cds.cern.ch/record/824105 |