2.5 げる

\ar@/^げる/[]向左, \ar@/_げる/[] ふくらんだになる.

  \[
   \xymatrix{
    A \ar@/^18pt/[r]^f \ar@/_/[r]_g
    \ar@/_3pt/[d] \ar@/_12pt/[d] \ar@/_24pt/[d] \ar@/_48pt/[d]
    & B \ar@/^/[d]  \ar@/^54pt/[rd]  &  C \ar[l] \ar[d] \\
    D \ar@/_10pt/@{.>}[rr]_{\exists h} & E \ar[r] \ar[l] & F
   }
  \]

⇓

             f           ---
          -------   -----  --
       -- -     - -----    --
 --------A --g--B--    C| --
---  -----        -     |--
  -------- ----- ------  -
         D -----E------F
                ∃h