$$
\def\cod{{\rm cod}\,} \def\dom{{\rm dom}\,}
\cellwidth+=2mm
\Dg
& F & _{\cod u} & \rEq       & F & _{\cod u} &     &             & F_i               \\
& \uTo >{p_u} & &            & \uTo &        &     & \ruTo <{p_i} \tx{-5pt} &
                                                                   \uDashto >{\mu_i} \\
{\mit\Pi}_{u:j\to k}F_k = {\mit\Pi}_u &
  F & _{\cod u} & \lTo ^f \up{3pt} \lTo _g \up{-3pt}
                             & {\mit\Pi}_i & & F_i & \lDashto ^e & d                 \\
& \dTo >{p_u} & &            & \dTo >{p_{\dom u}}                                    \\
& F & _{\cod u} & \lTo ^{Fu} & F & _{\dom u}                                         \\
\endDg
$$
