A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Lax Colimits and Free Fibrations in ∞-Categories
2010
Mathematics Subject Classification
unpublished
We define and discuss lax and weighted colimits of diagrams in ∞-categories and show that the coCartesian fibration corresponding to a functor is given by its lax colimit. A key ingredient , of independent interest, is a simple characterization of the free Cartesian fibration on a functor of ∞-categories. As an application of these results, we prove that 2-representable functors are preserved under exponentiation, and also that the total space of a presentable Cartesian fibration between is
fatcat:de7ddrafavawtpplmh7lhyyjmi