Remark 89.17.4. Let $\mathcal{F}$ be a category cofibered in groupoids over $\mathcal C_\Lambda $ satisfying (RS). Let

be a fibre square in $\mathcal{C}_\Lambda $ such that either $A_1 \to A$ or $A_2 \to A$ is surjective. Let $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{F}(A))$. Given lifts $x_1 \to x$ and $x_2 \to x$ of $x$ to $A_1$ and $A_2$, we get by (RS) a lift $x_1 \times _ x x_2 \to x$ of $x$ to $A_1 \times _ A A_2$. Conversely, by Lemma 89.16.2 any lift of $x$ to $A_1 \times _ A A_2$ is of this form. Hence a bijection

Similarly, if $x_1 \to x$ is a fixed lifting of $x$ to $A_1$, then there is a bijection

Now let

be a composition of fibre squares in $\mathcal{C}_\Lambda $ with both $A'_1 \to A_1$ and $A_1 \to A$ surjective. Let $x_1 \to x$ be a morphism lying over $A_1 \to A$. Then by the above we have bijections

## Comments (0)