Homotopy (pre)derivators of cofibration categories and quasicategories (Q1631707): Difference between revisions

The author proves that the homotopy prederivator of a cofibration category is equivalent to the homotopy prederivator of its associated quasicategory of frames, as introduced by Szumiło. As an application, it is proved that the homotopy prederivator of a quasicategory which is cocomplete (complete, complete and cocomplete resp.) is a right derivator (a left derivator, a derivator resp.).