1 citations · 1 across the 3 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Free fibrations, lax colimits and Kan extensions for -categories
Fernando Abellán, Rune Haugseng, Louis Martini
In the first part of this paper we study fibrations of -categories. We give a simple characterization of such fibrations in terms of a certain square being a pullback,…
math.CT2024
-Topoi and descent
Fernando Abellán, Louis Martini
We set the foundations of a theory of Grothendieck -topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for f…
math.CT2022★ 1 cited
Cocartesian fibrations and straightening internal to an -topos
Louis Martini
We define and study cartesian and cocartesian fibrations between categories internal to an -topos and prove a straightening equivalence in this context.