A higher Grothendieck construction
arXiv:2004.09654
Abstract
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.
arXiv admin note: text overlap with arXiv:1908.05668