Quasicategories of frames of cofibration categories (Q2014014)

The authors show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization. In particular, it follows that given a model category, the quasicategories of frames associated to its underlying cofibration and fibration categories are equivalent. In the very last section, the authors supply a more direct comparison of these two quasicategories.