Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2406.04965 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929380126621696 |
|---|---|
| author | Pasqualone, Federica |
| author_facet | Pasqualone, Federica |
| contents | The aim of this paper is to relate the classical result of Gabriel-Ulmer to the geometry of topoi. The usage of the attribute 'left exact' when dealing with functors involved in this duality is indeed not casual and it is related to the geometrical side of the story, i.e. sheaf theory, as in \cite{SGA}. Thought to be a very basic introduction to the subject, it is mostly self-contained. The reader is assumed to be familiar with the fundamentals of category theory, no further prerequisite knowledge is required. The proof of Gabriel-Ulmer duality follows \cite{MP}. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_04965 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Gabriel-Ulmer Duality for Topoi, An Introduction Pasqualone, Federica Logic Category Theory The aim of this paper is to relate the classical result of Gabriel-Ulmer to the geometry of topoi. The usage of the attribute 'left exact' when dealing with functors involved in this duality is indeed not casual and it is related to the geometrical side of the story, i.e. sheaf theory, as in \cite{SGA}. Thought to be a very basic introduction to the subject, it is mostly self-contained. The reader is assumed to be familiar with the fundamentals of category theory, no further prerequisite knowledge is required. The proof of Gabriel-Ulmer duality follows \cite{MP}. |
| title | Gabriel-Ulmer Duality for Topoi, An Introduction |
| topic | Logic Category Theory |
| url | https://arxiv.org/abs/2406.04965 |