Louis Martini

activity

20212026

most citedCocartesian fibrations and straightening internal to an

\infty

-topos

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

collaborators

Showing 2023Show all

2 papers · 1 filter

math.CT2023

Proper morphisms of $\infty$ -topoi

Louis Martini, Sebastian Wolf

We characterise proper morphisms of $\infty$ -topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$ -topoi is proper if and only if it…

math.CT2023

Internal higher topos theory

Louis Martini, Sebastian Wolf

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

Proper morphisms of ∞-topoi

Internal higher topos theory

Proper morphisms of $\infty$ -topoi