Homotopy theory of cocomplete quasicategories (Q518815)

Quillen's model structures, and other model structures even more general than Quillen's, allow to develop an abstract homotopy theory, in any suitable category, from the point of view of homotopical algebra. In this setting, homotopy colimits are computed via derived functors. But there is another approach to the same subject, from the point of view of higher category theory, which provides the language to express homotopy coherent universal properties, and therefore, in this way, homotopy colimits. This paper is the third of a series of three papers with results extracted from the author's thesis. Its main object is to prove the equivalence of two models, each one relative to the two discussed approaches to abstract homotopy theory, namely, the one deduced from cofibration categories and the one of complete quasicategories. This is achieved by presenting both theories as fibration categories and giving an explicit exact equivalence between them.