On coherent topoi & coherent $1$-localic $\infty$-topoi
Abstract
In this note we prove the following useful fact that seems to be missing from the literature: the $\infty$-category of coherent ordinary topoi (in the sense of SGA4) is equivalent to the $\infty$-category of coherent $1$-localic $\infty$-topoi (in Lurie's sense). We also collect a number of examples of coherent geometric morphisms between $\infty$-topoi coming from algebraic geometry.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2019
- DOI:
- 10.48550/arXiv.1904.01877
- arXiv:
- arXiv:1904.01877
- Bibcode:
- 2019arXiv190401877H
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Algebraic Topology;
- Mathematics - Category Theory
- E-Print:
- Comments very welcome. v2: 13 pages. Corrected some omissions and typos in v1 and clarified a few points. arXiv admin note: substantial text overlap with arXiv:1807.03281