Exercise 1.1.2.7 (Relations Between Face and Degeneracy Operators). Let $C_{\bullet }$ be a simplicial object of a category $\operatorname{\mathcal{C}}$. Show that the face and degeneracy operators of $\operatorname{\mathcal{C}}$ satisfy the following relations:
- $(\ast ')$
For $0 \leq i,j \leq n$, we have an equality
\[ d^{n+1}_{i} \circ s^{n}_ j = \begin{cases} s^{n-1}_{j-1} \circ d^{n}_ i & \text{ if } i < j \\ \operatorname{id}_{ C_ n } & \text{ if } i = j \text{ or } i = j + 1 \\ s^{n-1}_{j} \circ d^{n}_{i-1} & \text{ if } i > j+1 \end{cases} \](as morphisms from $C_{n}$ to $C_{n}$).