Louis Martini

activity

20212026

most citedCocartesian fibrations and straightening internal to an

\infty

-topos

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

collaborators

Showing 2022 · math.CTShow all

2 papers · 2 filters

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 $\infty$ -topos $B$ . Our main results are internal analogues…

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.

Presentability and topoi in internal higher category theory

Cocartesian fibrations and straightening internal to an ∞-topos

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