Showing math.CTShow all
2 papers · 1 filter
math.CT2025
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.CT2025
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…