Yes, this follows easily by combining the results of Barwick-Kan and Toen. One way to rephrase your question is the following:

Given a relative category $(C,W)$ (i.e. just a category with a subcategory weak equivalences containing the identities) is the classification diagram $N(C,W)$ weakly equivalent to $N^{CSS}(L^H(C,W))$ in Rezk's model category of complete Segal spaces?

Here $N^{CSS}$ denotes any homotopical functor (i.e. preserving weak equivalences) from simplicial categories to complete Segal spaces implementing the equivalence of homotopy theories. For example (and for definiteness) we can take $N^{CSS}$ to be the composite of the (derived) homotopy coherent nerve of Cordier (from simplicial categories to quasicategories) and the right Quillen equivalence from quasicategories to complete Segal spaces (denoted $t^!$ in Joyal-Teirney's "Quasi-categories vs. Segal Spaces"). You will see that it doesn't really matter much what precisely we use here, just that it induces a reasonable equivalence of homotopy theories.

In otherwords we are asking if the classification diagram is equivalent to what you get by transforming the Hammock localization into a complete Segal space.

Now in Barwick and Kan's paper "relative categories: another model for the homotopy theory of homotopy theories" they show among other things:

• There is a model category structure on the category RelCat of relative categories;
• There is a Quillen equivalence of this model structure with the model structure of complete Segal spaces; $$K_\xi: CSS \leftrightarrows RelCat: N_\xi$$
• There is natural map $N(C,W) \to N_\xi(C,W)$ which is a weak equivalence in the CSS model structure.

Thus to answer your question it is enough to show that $N_\xi(C,W)$ is equivalent to $N^{CSS}(L^H(C,W))$ in the homotopy category of complete Segal spaces.

Next, in Barwick and Kan's paper "In the category of relative categories the equivalences are exactly the DK-equivalences" they show that

• The hammock localization $L^H$ is an equivalence from the relative category of relative categories to the relative category of simplicial categories (each using the weak equivalences from their respective model structures).

So now we are in the situation where we know that the functors $N^{CSS} \circ L^H$ and $N_\xi$ each induce equivalences from the homotopy category of Relative categories to the homotopy category of complete Segal spaces. (In fact they lift to equivalences in the model category of (say) relative categories).

We want to know if they induce the same equivalence of homotopy categories. But this is answered precisely by Toen's theorem (in "Vers une axiomatisation de la theorie des categories superieures"), which says that up to equivalence there are precisely two such equivalences. They are distinguished by what happens to the subcategory consisting of the terminal category and the free walking arrow. This subcategory is clearly preserved by both $N^{CSS} L^H$ and $N_\xi \simeq N$. Hence we conclude they give rise the the same equivalences of homotopy categories, and hence

$$N^{CSS} L^H(C,W) \simeq N(C,W)$$ for all relative categories $(C,W)$.

In short, Barwick and Kan show that $N^{CSS} L^H$ and $N$ induce equivalences of homotopy theories, Toen shows that up to equivalence there are only two possibilities for such equivalences, and a simple calculation shows that in fact they agree.

1

Yes, this follows easily by combining the results of Barwick-Kan and Toen. One way to rephrase your question is the following:

Given a relative category $(C,W)$ (i.e. just a category with a subcategory weak equivalences containing the identities) is the classification diagram $N(C,W)$ weakly equivalent to $N^{CSS}(L^H(C,W))$ in Rezk's model category of complete Segal spaces?

Here $N^{CSS}$ denotes any homotopical functor (i.e. preserving weak equivalences) from simplicial categories to complete Segal spaces implementing the equivalence of homotopy theories. For example (and for definiteness) we can take $N^{CSS}$ to be the composite of the (derived) homotopy coherent nerve of Cordier (from simplicial categories to quasicategories) and the right Quillen equivalence from quasicategories to complete Segal spaces (denoted $t^!$ in Joyal-Teirney's "Quasi-categories vs. Segal Spaces"). You will see that it doesn't really matter much what precisely we use here, just that it induces a reasonable equivalence of homotopy theories.

In otherwords we are asking if the classification diagram is equivalent to what you get by transforming the Hammock localization into a complete Segal space.

Now in Barwick and Kan's paper "relative categories: another model for the homotopy theory of homotopy theories" they show among other things:

• There is a model category structure on the category RelCat of relative categories;
• There is a Quillen equivalence of this model structure with the model structure of complete Segal spaces; $$K_\xi: CSS \leftrightarrows RelCat: N_\xi$$
• There is natural map $N(C,W) \to N_\xi(C,W)$ which is a weak equivalence in the CSS model structure.

Thus to answer your question it is enough to show that $N_\xi(C,W)$ is equivalent to $N^{CSS}(L^H(C,W))$ in the homotopy category of complete Segal spaces.

Next, in Barwick and Kan's paper "In the category of relative categories the equivalences are exactly the DK-equivalences" they show that

• The hammock localization $L^H$ is an equivalence from the relative category of relative categories to the relative category of simplicial categories (each using the weak equivalences from their respective model structures).

So now we are in the situation where we know that the functors $N^{CSS} \circ L^H$ and $N_\xi$ each induce equivalences from the homotopy category of Relative categories to the homotopy category of complete Segal spaces. (In fact they lift to equivalences in the model category of (say) relative categories).

We want to know if they induce the same equivalence of homotopy categories. But this is answered precisely by Toen's theorem (in "Vers une axiomatisation de la theorie des categories superieures"), which says that up to equivalence there are precisely two such equivalences. They are distinguished by what happens to the subcategory consisting of the terminal category and the free walking arrow. This subcategory is clearly preserved by both $N^{CSS} L^H$ and $N_\xi \simeq N$. Hence we conclude they give rise the the same equivalences of homotopy categories, and hence

$$N^{CSS} L^H(C,W) \simeq N(C,W)$$ for all relative categories $(C,W)$.