1: \begin{definition}[Fibered]

2: A system of $R$-premodels $(K,\mathtt{rou},\mathcal{P},\mathtt{V})$ over a small category $D$ in a category $\mathcal{C}$ will be said to be \emph{fibered}

3: if the category $\mathcal{C}$ has pushouts and the $\Upgamma$-factorisation of any $\Upgamma$-quotiented arrow (obtained in Theorem \ref{th:admissible_quotiented_effective}) lifts to $\mathcal{P}$.

4: \end{definition}

5: