activity
20202023
most citedPresentability and topoi in internal higher category theory

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

collaborators
Showing 2023Show all

2 papers · 1 filter

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…