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 2021Show all

2 papers · 1 filter

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 $\infty$ -topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal…

math.CT2021★ 1 cited

Yoneda's lemma for internal higher categories

Louis Martini

We develop some basic concepts in the theory of higher categories internal to an arbitrary $\infty$ -topos. We define internal left and right fibrations and prove a version of the G…