作者
David Gepner, Rune Haugseng, Thomas Nikolaus
发表日期
2015/1/9
期刊
arXiv preprint arXiv:1501.02161
简介
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 key ingredient, of independent interest, is a simple characterization of the free Cartesian fibration associated to a a functor of -categories. As an application of these results, we prove that lax representable functors are preserved under exponentiation, and also that the total space of a presentable Cartesian fibration between -categories is presentable, generalizing a theorem of Makkai and Par\'e to the -categorical setting. Lastly, in the appendix, we observe that pseudofunctors between (2,1)-categories give rise to functors between -categories via the Duskin nerve.
引用总数
2015201620172018201920202021202220232024531113182436333931
学术搜索中的文章
D Gepner, R Haugseng, T Nikolaus - arXiv preprint arXiv:1501.02161, 2015