f_{\beta}^{\alpha} \colon X_{\beta} \to X_{\alpha}