activity
20202023
most citedPresentability and topoi in internal higher category theory

1 citations · 2 across the 5 of their papers we have counts for

collaborators

6 papers

math.AG2023

Nonabelian basechange theorems & étale homotopy theory

Peter J. Haine, Tim Holzschuh, Sebastian Wolf

This paper has two main goals. First, we prove nonabelian refinements of basechange theorems in étale cohomology (i.e., prove analogues of the classical statements for sheaves of s…

math.CT2023

Internal higher topos theory

Louis Martini, Sebastian Wolf

We develop the theory of topoi internal to an arbitrary -topos . We provide several characterisations of these, including an internal analogue of Lurie's charac…

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…

math.CT2021★ 1 cited

Colimits and cocompletions in internal higher category theory

Louis Martini, Sebastian Wolf

We develop a number of basic concepts in the theory of categories internal to an -topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal…

math.AG2020

The Pro-Étale Topos as a Category of Pyknotic Presheaves

Sebastian Wolf

Let be a coherent scheme and let denote the Galois category of , as introduced by Barwick, Glasman and Haine. In this paper we prove that the hyperco…