A higher Grothendieck construction

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 commentarXiv admin note: text overlap with arXiv:1908.05668

References in corpus (2)

• Higher Topos Theory
• Homotopy limits and colimits and enriched homotopy theory