| 书目名称 | Sheaves in Geometry and Logic | | 副标题 | A First Introduction | | 编辑 | Saunders Mac Lane,Ieke Moerdijk | | 视频video | | | 丛书名称 | Universitext | | 图书封面 |  | | 描述 | 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. | | 出版日期 | Textbook 1994 | | 关键词 | Algebraic structure; Boolean algebra; Division; Heyting algebra; forcing; set; set theory | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4612-0927-0 | | isbn_softcover | 978-0-387-97710-2 | | isbn_ebook | 978-1-4612-0927-0Series ISSN 0172-5939 Series E-ISSN 2191-6675 | | issn_series | 0172-5939 | | copyright | Springer-Verlag New York, Inc. 1994 |
The information of publication is updating
|
|
发表于 2025-3-21 19:55:36
