From fractions to complete Segal spaces (Q2354985)

The essential information of a ``homotopy theory'' is often taken to be a category together with a choice of weak equivalences, or morphisms that one would like to be invertible, at least up to homotopy. While many common examples have the additional structure of a model category, where there are also classes of fibrations and cofibrations, satisfying a number of axioms, there are also situations where this structure is not present. In the work of Dwyer and Kan in the 1980s, the structure of such a category with weak equivalences was encoded into a simplicial category via their simplicial localization and hammock localization constructions. More recently, there has been much interest in objects which look like simplicial categories with with composition up to homotopy, often referred to as \((\infty, 1)\)-categories. One such approach is given by Rezk's complete Segal spaces. But one can ask whether there is a good way to produce a complete Segal space from a homotopy theory in the above sense. Rezk himself defined a classifying diagram construction for simplicial model categories and proved that the output was indeed a complete Segal space. This result was subsequently generalized to (not necessarily simplicial) model categories by the reviewer and to partial model categories admitting functorial factorizations by Barwick and Kan. In the paper under review, the authors generalize both, only assuming that their input homotopy theory admits a homotopical three-arrow calculus, in the sense of Dwyer and Kan, and that weak equivalences satisfy the usual two-out-of-three property. A brief discussion at the end addresses the question of whether the result can be generalized even further.