f_{\beta}^{\alpha} \circ f_{\gamma}^{\beta}=f_{\gamma}^{\alpha} \\ \\
f_{\alpha}^{\alpha}=id_{X_{\alpha}}