13 citations · 61 across the 20 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2021
On straightening for Segal spaces
Joost Nuiten
The straightening-unstraightening correspondence of Grothendieck--Lurie provides an equivalence between cocartesian fibrations between -categories and diagrams of $(\i…
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…