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: