Louis Martini

activity

20222025

most citedCocartesian fibrations and straightening internal to an

\infty

-topos

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

collaborators

3 papers

math.AG2025

The condensed homotopy type of a scheme

Peter J. Haine, Tim Holzschuh, Marcin Lara +3

We study a condensed version of the étale homotopy type of a scheme, which refines both the usual étale homotopy type of Friedlander-Artin-Mazur and the proétale fundamental group…

math.CT2024

$(\infty, 2)$ -Topoi and descent

Fernando Abellán, Louis Martini

We set the foundations of a theory of Grothendieck $(\infty, 2)$ -topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for f…

math.CT2022★ 1 cited

Cocartesian fibrations and straightening internal to an $\infty$ -topos

Louis Martini

We define and study cartesian and cocartesian fibrations between categories internal to an $\infty$ -topos and prove a straightening equivalence in this context.

The condensed homotopy type of a scheme

(∞,2)-Topoi and descent

Cocartesian fibrations and straightening internal to an ∞-topos

$(\infty, 2)$ -Topoi and descent

Cocartesian fibrations and straightening internal to an $\infty$ -topos