Artículos relacionados a Sheaves in Geometry and Logic: A First Introduction...

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) - Tapa blanda

MacLane, Saunders; Moerdijk, Ieke

 
9780387977102: Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
Tapa blanda
ISBN 10: 0387977104 ISBN 13: 9780387977102
Editorial: Springer, 1994

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Biography of Saunders Mac Lane Saunders Mac Lane was born on August 4, 1909 in Connecticut. He studied at Yale University and then at the University of Chicago and at Göttingen, where he received the D.Phil. in 1934. He has tought at Harvard, Cornell and the University of Chicago. Mac Lane's initial research was in logic and in algebraic number theory (valuation theory). With Samuel Eilenberg he published fifteen papers on algebraic topology. A number of them involved the initial steps in the cohomology of groups and in other aspects of homological algebra - as well as the discovery of category theory. His famous and undergraduate textbook Survey of modern algebra, written jointly with G. Birkhoff, has remained in print for over 50 years. Mac Lane is also the author of several other highly successful books.

De la contraportada

We dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathematicians, including both of us. In January 1989, when the first draft of our book had been completed, we heard the sad news of his untimely death. This has cast a shadow on our subsequent work. Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal contacts with friends and colleagues-including especially O. Bruno, P. Freyd, J.M.E. Hyland, P.T. Johnstone, A. Joyal, A. Kock, F.W. Lawvere, G.E. Reyes, R Solovay, R Swan, RW. Thomason, M. Tierney, and G.C. Wraith. Our presentation combines ideas and results from these people and from many others, but we have not endeavored to specify the various original sources. Moreover, a number of people have assisted in our work by pro­ viding helpful comments on portions of the manuscript. In this respect, we extend our hearty thanks in particular to P. Corazza, K. Edwards, J. Greenlees, G. Janelidze, G. Lewis, and S. Schanuel.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
1994
Idioma
Inglés
ISBN 10 
0387977104
ISBN 13 
9780387977102
Encuadernación
Tapa blanda
Número de páginas
630
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Alemania