绘制具体图表

Question

首先：我必须对这个愚蠢的问题表示抱歉。如何绘制图表http://msp.org/pjm/1982/98-2/pjm-v98-n2-p15-s.pdf在第 6 页，可以在使用 tikzpicture 或 tikzcd 和 documentclass{article} 的命题 2.4 的证明中找到？

我尝试按照多个网站上的说明进行操作，并尝试修改如下示例http://texample.net/tikz/examples/commutative-diagram-tikz/到目前为止。我通常可以自己做，但这次却无济于事。

问候

Answer 1

您应该将图表视为一个三行两列的矩阵。在起始单元格中添加箭头，标明目标和可能的标签。

在本例中，标签是\textstyle\cong；为此您指定"\textstyle\cong"'；尾随撇号告诉tikz-cd将标签放在箭头的右侧：您应该将箭头想象成河流，因此您可以通过将自己背对着源头、面向终点来确定右侧和左侧。

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}

\begin{document}

\[
\begin{tikzcd}
K_*\varinjlim(A_\gamma)\otimes K_*(B) \arrow[r,dashed]
  & K_*((\varinjlim A_\gamma)\otimes B) \\
\varinjlim(K_*A_\gamma)\otimes K_*(B) \arrow[u,"\textstyle\cong"']
  & K_*(\varinjlim (A_\gamma\otimes B)) \arrow[u,"\textstyle\cong"']\\
\varinjlim((K_*A_\gamma)\otimes K_*(B)) \arrow[u,"\textstyle\cong"'] \arrow[r]
  & \varinjlim K_*(A_\gamma\otimes B)  \arrow[u,"\textstyle\cong"']
\end{tikzcd}
\]

\end{document}