论文标题
更高的Grothendieck结构
A higher Grothendieck construction
论文作者
论文摘要
本文的主要目的是在符合准类别模型类别的函数类别上构建同型函数。
The main objective of this paper is to construct a homotopy colimit functor on a category of functors taking values in the model category of quasi-categories.