summaryrefslogtreecommitdiff
path: root/macros/generic/diagrams/kuvio/doc-src/eg/eg17.tex
blob: b2520a89fbfb9ced16384c529661cf898df790eb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
$$
\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
$$