13 citations · 61 across the 20 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.AT2020★ 1 cited
On k-invariants for -categories
Yonatan Harpaz, Joost Nuiten, Matan Prasma
Every -category can be approximated by its tower of homotopy -categories. In this paper, we prove that the successive stages of this tower are classified by k-…
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…