Lemma 77.23.1. Assumptions and notation as in Lemmas 77.20.2 and 77.20.3. The vertical composition of

\[ \xymatrix@C=15pc{ \mathcal{S}_{R \times _{s, U, t} R} \ruppertwocell ^{\pi \circ s \circ \text{pr}_1 = \pi \circ s \circ c}{\ \ \ \ \ \ \alpha \star \text{id}_{\text{pr}_1}} \ar[r]_(.3){\pi \circ t \circ \text{pr}_1 = \pi \circ s \circ \text{pr}_0} \rlowertwocell _{\pi \circ t \circ \text{pr}_0 = \pi \circ t \circ c}{\ \ \ \ \ \ \alpha \star \text{id}_{\text{pr}_0}} & [U/R] } \]

is the $2$-morphism $\alpha \star \text{id}_ c$. In a formula $\alpha \star \text{id}_ c = (\alpha \star \text{id}_{\text{pr}_0}) \circ (\alpha \star \text{id}_{\text{pr}_1}) $.

## Comments (0)