Sites and Grothendieck toposes: an introduction
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908509786865664 |
|---|---|
| author | Caramello, Olivia Lafforgue, Laurent |
| author_facet | Caramello, Olivia Lafforgue, Laurent |
| contents | Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction that moves from familiar ground - groups and their actions, topological spaces, categories, and sheaves - to Grothendieck topologies and sites, then to the axiomatic and categorical foundations of toposes (via Giraud's theorem), to their geometry (morphisms, points, subtoposes, localizations) and finally to their deep ties with geometric logic through classifying toposes. Aimed at readers with a basic familiarity with algebra, general topology, and category theory, the book emphasizes reversible viewpoints - external/internal, local/global, syntactic/semantic - guided by canonical examples, key theorems, and universal constructions. It equips the reader with a workable language in which spaces become categories of sheaves and theories become places classified by toposes. Future chapters will present "toposes as bridges" and relative toposes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_21609 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Sites and Grothendieck toposes: an introduction Caramello, Olivia Lafforgue, Laurent Category Theory Algebraic Geometry Logic 18B25, 03G30, 18C10 Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction that moves from familiar ground - groups and their actions, topological spaces, categories, and sheaves - to Grothendieck topologies and sites, then to the axiomatic and categorical foundations of toposes (via Giraud's theorem), to their geometry (morphisms, points, subtoposes, localizations) and finally to their deep ties with geometric logic through classifying toposes. Aimed at readers with a basic familiarity with algebra, general topology, and category theory, the book emphasizes reversible viewpoints - external/internal, local/global, syntactic/semantic - guided by canonical examples, key theorems, and universal constructions. It equips the reader with a workable language in which spaces become categories of sheaves and theories become places classified by toposes. Future chapters will present "toposes as bridges" and relative toposes. |
| title | Sites and Grothendieck toposes: an introduction |
| topic | Category Theory Algebraic Geometry Logic 18B25, 03G30, 18C10 |
| url | https://arxiv.org/abs/2508.21609 |