\begin{equation*} \begin{CD} E @>\psi>> E \\ @VVV @VVV\\ F(\alpha) @>\phi>> F(\beta) \\ @VVV @VVV\\ F @>\text{identitas}>> F \end{CD} \end{equation*}