Sheaves in geometry and logic: a first introduction to topos theory
Saunders MacLane, Ieke Moerdijk
This book is an introduction to the theory of toposes, as first developed by Grothendieck and later developed by Lawvere and Tierney. Beginning with several illustrative examples, the book 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. This is the first text to address all of these various aspects of topos theory at the graduate student level.
Категории:
Год:
1994
Издание:
Corrected
Издательство:
Springer
Язык:
english
Страницы:
320
ISBN 10:
0387977104
ISBN 13:
9780387977102
Серия:
Universitext
Файл:
DJVU, 4.61 MB
IPFS:
,
english, 1994
Скачивание этой книги недоступно по жалобе правообладателя