16 citations · 81 across the 17 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2021
A short proof of the straightening theorem
Fabian Hebestreit, Gijs Heuts, Jaco Ruit
We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given -category with contravariant fun…
math.CT2020
Two-variable fibrations, factorisation systems and -categories of spans
Rune Haugseng, Fabian Hebestreit, Sil Linskens +1
We prove a universal property for -categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the s…
math.CT2020★ 2 cited
Lax monoidal adjunctions, two-variable fibrations and the calculus of mates
Rune Haugseng, Fabian Hebestreit, Sil Linskens +1
We provide a calculus of mates for functors to the -category of -categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformat…