Lemma 89.25.3. Let $\mathcal{F}$ be category cofibered in groupoids over a category $\mathcal{C}$. Let $U : \mathcal{C} \to \textit{Sets}$ be a functor. Let $f : U \to \mathcal{F}$ be a morphism of categories cofibered in groupoids over $\mathcal{C}$. Let $(U, R, s, t, c)$ be the groupoid in functors on $\mathcal{C}$ constructed from $f : U \to \mathcal{F}$ in Lemma 89.25.2. Then there is a natural morphism $[f] : [U/R] \to \mathcal{F}$ such that:

$[f]: [U/R] \to \mathcal{F}$ is fully faithful.

$[f]: [U/R] \to \mathcal{F}$ is an equivalence if and only if $f : U \to \mathcal{F}$ is essentially surjective.

## Comments (0)