4.7 いろいろ

  \[
   \def\objectstyle{\scriptstyle}
   \def\labelstyle{\scriptstyle}
    Z \cong \lim\left(
    \vcenter{
     \hbox{
      $
       \underbrace{
        \xymatrix@C=6pt{
         & & X \ar[lld] \ar[ld] \ar@{}[d]|(.6){\dots} \ar[rd] \ar[rrd]
         & & \\
         Y & Y & \dots\dots & Y & Y
        }
       }_n
      $
     }
    }\right)
  \]

⇓

       (         X          )
       |                    |
Z ~ lim ||         ...         ||
  =    |(  Y  Y   ......  Y  Y  |)
         ◟-------◝◜-------◞
                  n