Is Riehl–Verity’s homotopy coherent walking adjunction result model-independent? – mathoverflow.net

Riehl and Verity proved in [RV16] that the strict 2-category of the walking adjunction, usually denoted $\mathrm{Adj}$, has the expected universal property as the homotopy coherent walking adjunction. ...