HOME > 상세정보

상세정보

Sheaves in geometry and logic : a first introduction to topos theory

Sheaves in geometry and logic : a first introduction to topos theory (4회 대출)

자료유형
단행본
개인저자
Mac Lane, Saunders, 1909-. Moerdijk, Ieke.
서명 / 저자사항
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk.
발행사항
New York :   Springer-Verlag,   c1992.  
형태사항
xii, 629 p. : ill. ; 24 cm.
총서사항
Universitext
ISBN
0387977104 (New York : acid-free paper) 3540977104 (Berlin : acid-free paper)
서지주기
Includes bibliographical references (p. 605-614) and indexes.
일반주제명
Toposes.
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.

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고7층/ 청구기호 512.62 M113s 등록번호 111741264 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 512.62 M113s 등록번호 121094645 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고7층/ 청구기호 512.62 M113s 등록번호 111741264 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 512.62 M113s 등록번호 121094645 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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


정보제공 : Aladin

관련분야 신착자료