2019/04/03 by Peter J. Haine, Haine, Peter J.
Mathematics · Medicine · #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
paper · pdf · doi:10.48550/arxiv.1904.01877
openalex publication_date 2019/04/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this note we prove the following useful fact that seems to be missing from the literature: the ∞-category of coherent ordinary topoi (in the sense of SGA4) is equivalent to the ∞-category of coherent 1-localic ∞-topoi (in Lurie's sense). We also collect a number of examples of coherent geometric morphisms between ∞-topoi coming from algebraic geometry.