Advertisement

Sheaves in Geometry and Logic

A First Introduction to Topos Theory

  • Saunders Mac Lane
  • Ieke Moerdijk

Part of the Universitext book series (UTX)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Saunders Mac Lane, Ieke Moerdijk
    Pages 1-9
  3. Saunders Mac Lane, Ieke Moerdijk
    Pages 10-23
  4. Saunders Mac Lane, Ieke Moerdijk
    Pages 24-63
  5. Saunders Mac Lane, Ieke Moerdijk
    Pages 64-105
  6. Saunders Mac Lane, Ieke Moerdijk
    Pages 106-160
  7. Saunders Mac Lane, Ieke Moerdijk
    Pages 161-217
  8. Saunders Mac Lane, Ieke Moerdijk
    Pages 218-266
  9. Saunders Mac Lane, Ieke Moerdijk
    Pages 267-346
  10. Saunders Mac Lane, Ieke Moerdijk
    Pages 347-420
  11. Saunders Mac Lane, Ieke Moerdijk
    Pages 421-471
  12. Saunders Mac Lane, Ieke Moerdijk
    Pages 472-527
  13. Saunders Mac Lane, Ieke Moerdijk
    Pages 528-573
  14. Saunders Mac Lane, Ieke Moerdijk
    Pages E1-E1
  15. Back Matter
    Pages 574-630

About this book

Introduction

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.

Keywords

Algebraic structure Boolean algebra Division Heyting algebra forcing set set theory

Authors and affiliations

  • Saunders Mac Lane
    • 1
  • Ieke Moerdijk
    • 2
  1. 1.Department of MathematicsUniversity of ChicagoChicagoUSA
  2. 2.Mathematical InstituteUniversity of UtrechtUtrechtThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4612-0927-0
  • Copyright Information Springer-Verlag New York, Inc. 1994
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-97710-2
  • Online ISBN 978-1-4612-0927-0
  • Series Print ISSN 0172-5939
  • Series Online ISSN 2191-6675
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking