\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