124 citations · 666 across the 26 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2015
Lax colimits and free fibrations in -categories
David Gepner, Rune Haugseng, Thomas Nikolaus
We define and discuss lax and weighted colimits of diagrams in -categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A ke…
math.CT2012★ 17 cited
Univalence in locally cartesian closed infinity-categories
David Gepner, Joachim Kock
After developing the basic theory of locally cartesian localizations of presentable locally cartesian closed infinity-categories, we establish the representability of equivalences…