4.3

li-→mだけにつくバランスくなるがあるので以下のような クロ使うとよいかもしれない.

  
  \newcommand{\xyprod}{\prod^{\phantom{A}}}
  \newcommand{\xycoprod}{\coprod^{\phantom{A}}}
  \newcommand{\xydlimi}[1]{\varinjlim\limits_{#1}^{\phantom{A}}}
  \newcommand{\xyilimi}[1]{\varprojlim\limits_{#1}^{\phantom{A}}}
  

  \[
   \xymatrix@1{
    \prod_{i\in I}A_i \ar[r] & B \ar[r] & \varinjlim_{i\in I} C_i
   }
  \]
  
  \[
   \xymatrix@1{
    \xyprod_{i\in I}A_i \ar[r] & B \ar[r] & \xydlimi{i\in I} C_i
   }
  \]

⇓

∏                lim C
   Ai-----B ------→   i
i∈I              i∈I
∏
   Ai-----B -----li-→m Ci
i∈I              i∈I