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

2: Recall from \cite{bergner} Theorem 1.1 that  a morphism $f:\C \to \cD$ in $s\Cat$ is said to be a fibration whenever

3: \begin{enumerate} 

4: \item[(F1)] 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 fibration of simplicial sets;

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

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

9: $d : a_1 \to a_2$ in $\C$ such that $fd = e$.

10: \end{enumerate}

11: \end{definition}

12: