元のご質問は、斜めの矢印を含んだ可置換図を描きたいというものでした。
斜めの矢印を含む図を描くパッケージとして
smallgrf.sty があります。
プリアンブルで \usepackage{smallgrf.sty} とし、これを使うと
の様な図を
$$
\begin{picture}(130,70)(-5,-35)
\point{H0}( 0, 0){$X$}
\point{H1}( 30, 30){$A$}
\point{H2}( 30,-30){$B$}
\arrow{H0}{H1} \midput( -5, 5){\cbox{$\alpha$}}
\arrow{H0}{H2} \midput( -5, -5){\cbox{$\beta$}}
\point{L} ( 60, 0){$L$}
\arrow{H1}{L} %\midput( 5, 5){\cbox{$\lambda_1$}}
\arrow{H0}{L} %\midput( 0, 5){$\lambda_0$}
\arrow{H2}{L} %\midput( 5, -5){\cbox{$\lambda_2$}}
\point{G} (120, 0){$G$}
\arrow{H1}{G} \midput( 5, 5){\cbox{$\gamma_1$}}
\arrow{H2}{G} \midput( 5, -5){\cbox{$\gamma_2$}}
\thicklines
\arrow{L}{G} \midput(-10, 5)%
{\hbox to0pt{\hss$\exists^!\; \phi$\hss}}
\end{picture}
$$
というコマンドで描くことができます。詳しい説明は、smallgrf.sty ファイルの \endinput 以降を抜き出してLaTeXで処理してできるdviファイルを参考にしてください。
smallgrf.styは
http://hashi4.civil.tohoku.ac.jp/~bear/bear-collections/style-files/style-fj.html
にあります。
