Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This work formalizes Lurie's program for fractured $\infty$-topoi by proving that any sheaf $\infty$-topos over a geometric site can be decomposed as a partially lax limit of smaller, localized "petit" sheaf $\infty$-topoi. This decomposition establishes a rigorous categorical bridge between ambient global geometries and their local constituents, resolving a long-standing structural question in higher topos theory. As concrete consequences, the authors represent the $\infty$-topos of $\kappa$-small condensed anima via extremally disconnected spaces marked at open embeddings and prove a gros variant of the étale exodromy theorem.
Massive geometric $\infty$-topoi can be fully recovered from their local "petit" counterparts through partially lax limits, realizing Lurie's fractured topos vision and unlocking a gros étale exodromy theorem.
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.