Lemma 4.42.4. Let $\mathcal{C}$ be a category. Let $\mathcal{X}$, $\mathcal{Y}$ be categories fibred in groupoids over $\mathcal{C}$. Let $F : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism. If $F$ is representable then every one of the functors

between fibre categories is faithful.

## Comments (0)

There are also: