๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

โœ Scribed by Saunders MacLane, Ieke Moerdijk

Book ID
127421508
Publisher
Springer
Year
1994
Tongue
English
Weight
5 MB
Series
Universitext
Edition
Corrected
Category
Library
ISBN
0387977104

No coin nor oath required. For personal study only.

โœฆ Synopsis

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.

๐Ÿ“œ SIMILAR VOLUMES

A First Course in Logic: An Introduction
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
โœ Shawn Hedman ๐Ÿ“‚ Library ๐Ÿ“… 2004 ๐Ÿ› Oxford University Press, USA ๐ŸŒ English โš– 2 MB

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classic