2024/06/07 by Federica Pasqualone, Pasqualone, Federica
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Mathematical Dynamics and Fractals
paper · pdf · doi:10.48550/arxiv.2406.04965
openalex publication_date 2024/06/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 \citeSGA. 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 \citeMP.