Homotopy (Pre-)Derivators of Cofibration Categories and Quasi-Categories

Tobias Lenz

We prove that the homotopy prederivator of a cofibration category is equivalent to the homotopy prederivator of its associated quasi-category of frames, as introduced by Szumiło. W…