
000 | 00000cam u2200205 a 4500 | |
001 | 000000880611 | |
005 | 20150902134619 | |
008 | 910829s1992 nyua b 001 0 eng | |
010 | ▼a 91033709 | |
020 | ▼a 0387977104 (New York : acid-free paper) | |
020 | ▼a 3540977104 (Berlin : acid-free paper) | |
040 | ▼a DLC ▼c DLC ▼d FPU ▼d 211009 | |
049 | 1 | ▼l 121094645 ▼f 과학 |
050 | 0 0 | ▼a QA169 ▼b .M335 1992 |
082 | 0 4 | ▼a 512.62 ▼2 23 |
084 | ▼a 512.62 ▼2 DDCK | |
090 | ▼a 512.62 ▼b M113s | |
100 | 1 | ▼a Mac Lane, Saunders, ▼d 1909-. |
245 | 1 0 | ▼a Sheaves in geometry and logic : ▼b a first introduction to topos theory / ▼c Saunders Mac Lane, Ieke Moerdijk. |
260 | ▼a New York : ▼b Springer-Verlag, ▼c c1992. | |
300 | ▼a xii, 629 p. : ▼b ill. ; ▼c 24 cm. | |
490 | 1 | ▼a Universitext |
504 | ▼a Includes bibliographical references (p. 605-614) and indexes. | |
650 | 0 | ▼a Toposes. |
700 | 1 | ▼a Moerdijk, Ieke. |
830 | 0 | ▼a Universitext. |
Holdings Information
No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
---|---|---|---|---|---|---|---|
No. 1 | Location Main Library/Western Books/ | Call Number 512.62 M113s | Accession No. 111741264 | Availability Available | Due Date | Make a Reservation | Service |
No. 2 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 512.62 M113s | Accession No. 121094645 | Availability Available | Due Date | Make a Reservation | Service |
No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
---|---|---|---|---|---|---|---|
No. 1 | Location Main Library/Western Books/ | Call Number 512.62 M113s | Accession No. 111741264 | Availability Available | Due Date | Make a Reservation | Service |
No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
---|---|---|---|---|---|---|---|
No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 512.62 M113s | Accession No. 121094645 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
Preface; Prologue; Categorical Preliminaries; 1. Categories of Functors; 2. Sheaves of Sets; 3. Grothendieck Topologies and Sheaves; 4. First Properties of Elementary Topoi; 5. Basic Constructions of Topoi; 6. Topoi and Logic; 7. Geometric Morphisms; 8. Classifying Topoi; 9. Localic Topoi; 10. Geometric Logic and Classifying Topoi; Appendix: Sites for Topoi; Epilogue; Bibliography; Index of Notations; Index
Information Provided By: :
