\begin{equation*} \begin{CD} K @>\psi>> L \\ @VV{\sigma}V @VV{\tau}V\\ E(\alpha) @>\overline{\phi}>> F(\beta) \\ @VVV @VVV\\ E @>\phi>> F \end{CD} \end{equation*}