在 xypic 中使用小矩阵

Question

在 中xypic，我希望在小垂直箭头（束）之间有一个箭头，如下所示：

\xymatrix{
H\ar[r] & \mathsf{hom}\left(\begin{smallmatrix} H\\
\downarrow\\ H \end{smallmatrix},
\begin{smallmatrix} H\\
\downarrow\\ H \end{smallmatrix}\right)\ar[r] & H}

然而，这在 LyX 上无法编译。

有什么方法可以将小的垂直列向量粘贴到xymatrix数组内部吗？

Answer 1

你必须做好以下smallmatrix准备：

\documentclass{article}
\usepackage{amsmath}
\usepackage[all,cmtip]{xy}

\DeclareMathOperator{\shom}{\mathsf{hom}}

\begin{document}

\xymatrix{
  H\ar[r] & \shom\left({\begin{smallmatrix} H\\
  \downarrow\\ H \end{smallmatrix}},
  {\begin{smallmatrix} H\\
  \downarrow\\ H \end{smallmatrix}}\right)\ar[r] & H
}

\end{document}

更好的是，定义一个宏：

\documentclass{article}
\usepackage{amsmath}
\usepackage[all,cmtip]{xy}

\DeclareMathOperator{\shom}{\mathsf{hom}}

\newcommand{\vertmap}[2]{%
  {\begin{smallmatrix} #1 \\ \downarrow \\ #2 \end{smallmatrix}}%
}

\begin{document}

\xymatrix{
  H\ar[r] & \shom\left(\vertmap{H}{H},\vertmap{H}{H}\right)\ar[r] & H
}

\end{document}