{"id":"arxiv/2605.02115","url":"https://arxiv.org/abs/2605.02115","tags":["math.CT","math.AT"],"score":0,"title":"Geometric Categories and Sheaves on Topoi","domain":"math.CT","source":"arxiv","authors":["Connor Bass"],"reviews":0,"subject":"math.CT","summary":"We introduce the notion of a geometric $(\\infty,1)$-category, the protopyical example of which is an $(\\infty,1)$-topos. We study (hyper)sheaves on geometric $(\\infty,1)$-categories, proving that these are characterized by a form of Čech (hyper)descent. As an application we study (hyper)sheaves on $(n,1)$-topoi for all $n\\in \\mathbf{Z}_{\\geq 1}\\cup \\{\\infty\\}$, and prove that the effective epimorphism topology on an $(n,1)$-topos $\\mathcal{X}$ may be identified as the canonical topology on $\\mathcal{X}$. Moreover, we show that for finite $n\\in \\mathbf{Z}_{\\geq 1}$ the study of sheaves on an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}