1 citations · 2 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022★ 1 cited
Presentability and topoi in internal higher category theory
Louis Martini, Sebastian Wolf
The goal of this article is to develop the theory of presentable categories and topoi internal to an arbitrary -topos . Our main results are internal analogues…
math.AT2022
The fundamental fiber sequence in étale homotopy theory
Peter J. Haine, Tim Holzschuh, Sebastian Wolf
Let be a field with separable closure , and let be a qcqs -scheme. We use the theory of profinite Galois categories developed by Barwick-Glasman-Haine…