The Stacks project

Remark 8.2.4. Suppose that $p : \mathcal{S} \to \mathcal{C}$ is fibred in groupoids. In this case we can prove Lemma 8.2.1 using Categories, Lemma 4.36.4 which says that $\mathcal{S} \to \mathcal{C}$ is equivalent to the category associated to a contravariant functor $F : \mathcal{C} \to \textit{Groupoids}$. In the case of the fibred category associated to $F$ we have $g^* \circ f^* = (f \circ g)^*$ on the nose and there is no need to use the maps $\alpha _{g, f}$. In this case the lemma is (even more) trivial. Of course then one uses that the $\mathit{Mor}(x, y)$ presheaf is unchanged when passing to an equivalent fibred category which follows from Lemma 8.2.3.