1: \begin{definition}

2: Recall from \cite{bergner} Theorem 1.1 that  a morphism  $f:\C \to \D$ in $s\Cat$ is said to be  a  weak equivalence (a.k.a. an $\infty$-equivalence) whenever

3: \begin{enumerate} 

4: \item[(W1)] for any objects $a_1$ and $a_2$ in $\C$, the map

5: $\HHom_{\C}(a_1, a_2)\to \HHom_{\cD}(fa_1, fa_2)$ 

6: is a weak equivalence of simplicial sets;

7: \item[(W2)] the induced functor $\pi_0f : \pi_0\C \to \pi_0\cD$ is an equivalence of

8: categories.

9: \end{enumerate}

10: \end{definition}

11: