1 citations · 2 across the 6 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
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…
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 -topos . Our main results are internal analogues…
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 -topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal…