<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">$$
\def\cod{{\rm cod}\,} \def\dom{{\rm dom}\,}
\cellwidth+=2mm
\Dg
&amp; F &amp; _{\cod u} &amp; \rEq       &amp; F &amp; _{\cod u} &amp;     &amp;             &amp; F_i               \\
&amp; \uTo &gt;{p_u} &amp; &amp;            &amp; \uTo &amp;        &amp;     &amp; \ruTo &lt;{p_i} \tx{-5pt} &amp;
                                                                   \uDashto &gt;{\mu_i} \\
{\mit\Pi}_{u:j\to k}F_k = {\mit\Pi}_u &amp;
  F &amp; _{\cod u} &amp; \lTo ^f \up{3pt} \lTo _g \up{-3pt}
                             &amp; {\mit\Pi}_i &amp; &amp; F_i &amp; \lDashto ^e &amp; d                 \\
&amp; \dTo &gt;{p_u} &amp; &amp;            &amp; \dTo &gt;{p_{\dom u}}                                    \\
&amp; F &amp; _{\cod u} &amp; \lTo ^{Fu} &amp; F &amp; _{\dom u}                                         \\
\endDg
$$
</pre></body></html>