{"id":"arxiv/2609.35119","url":"https://arxiv.org/abs/2609.35119","tags":["math.AT","math.AG","math.CT"],"score":0,"title":"Gros Topoi as Partially Lax Limits of Petit Topoi","domain":"math.AT","source":"arxiv","authors":["Fabio Neugebauer","Qi Zhu"],"reviews":0,"subject":"math.AT","summary":"We prove that the sheaf $\\infty$-topos associated to a geometric site in the sense of Lurie can be written as a partially lax limit of smaller sheaf $\\infty$-topoi. This is thus a formalization of Lurie's vision for fractured $\\infty$-topoi to axiomatize the relation between gros and petit topoi. As a consequence, we realize the $\\infty$-topos of $κ$-small condensed anima as a partially lax limit of sheaf $\\infty$-topoi over extremally disconnected spaces, marked at the open embeddings. Moreover, we deduce a gros version of the étale exodromy theorem.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}