The [Hammock localization][1] $L^H \mathcal{C}$ of a relative category $(\mathcal{C},\mathcal
{W})$  is a simplicial category defined by [Dwyer and Kan][2] as a way to compute the $\infty$-categorical localization or ordinary category, simpler than using what they call the "standard localization" (which boils down to localizing the bar resolution of $\mathcal{C}$).

It looks like a fairly natural construction, yet a little artificial as well. But I was thinking about it today and it strike me that it really feel like there should be a nice universal property. I'm really curious if the following is known, false, or if something like this is true.



**Proposition:** For any relative category $\mathcal{C}$, the simplicial category $L^H \mathcal{C}$ is the hom-wise nerve of a strict $2$-category, and it is the free strict $2$-category equipped with a functor $\mathcal{C} \to L^H\mathcal{C}$, such that each arrow $f$ in $\mathcal{W}$ has a right adjoint $f_*$ in $L^H\mathcal{C}(X,Y)$, and the canonical isomorphism $(fg)_* \simeq g_* f_*$ is actually an identity.

To be clear, what I claim in the first part is that each Hom-simplicial set of $L^H \mathcal{C}$ is a nerve, so that it can be identified with a strict 2-category.

**Note:** I no longer believe this to be the case in general - it probably is only true for some nice categories, like categories free on graphs. But I still want to understand this better!

  [1]: https://ncatlab.org/nlab/show/simplicial+localization#hammock_localization
  [2]: https://people.math.rochester.edu/faculty/doug/otherpapers/dwyer-kan-2.pdf