1: \begin{definition}\label{scatfibdef}

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: 

11: A morphism $F:\C \to \cD$ in $s\Cat$ is said to be a fibration whenever

12: \begin{enumerate} 

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

14: $\HHom_{\C}(a_1, a_2)\to \HHom_{\cD}(Fa_1, Fa_2)$ 

15: is a fibration of simplicial sets;

16: \item[(F2)] for any objects $a_1 \in\C$, $b \in \cD$, and homotopy equivalence $e :

17: Fa_1 \to b$ in $\cD$, there is an object $a_2 \in \C$ and a homotopy equivalence

18: $d : a_1 \to a_2$ in $\C$ such that $Fd = e$.

19: \end{enumerate}

20: \end{definition}